From bf413db3be446607caf54a93eb856267aa719181 Mon Sep 17 00:00:00 2001 From: Ange Albertini Date: Sat, 29 Oct 2022 13:47:30 +0000 Subject: sys/fuchsia: updated cache syscalls definitions --- sys/fuchsia/cache.txt | 11 +++++++++++ sys/fuchsia/cache_amd64.const | 5 +++++ sys/fuchsia/cache_arm64.const | 5 +++++ sys/fuchsia/ddk.txt | 9 --------- sys/fuchsia/ddk_amd64.const | 5 ----- sys/fuchsia/ddk_arm64.const | 5 ----- 6 files changed, 21 insertions(+), 19 deletions(-) create mode 100644 sys/fuchsia/cache.txt create mode 100644 sys/fuchsia/cache_amd64.const create mode 100644 sys/fuchsia/cache_arm64.const delete mode 100644 sys/fuchsia/ddk.txt delete mode 100644 sys/fuchsia/ddk_amd64.const delete mode 100644 sys/fuchsia/ddk_arm64.const (limited to 'sys/fuchsia') diff --git a/sys/fuchsia/cache.txt b/sys/fuchsia/cache.txt new file mode 100644 index 000000000..da94066a6 --- /dev/null +++ b/sys/fuchsia/cache.txt @@ -0,0 +1,11 @@ +# Copyright 2018-2022 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# See https://cs.opensource.google/fuchsia/fuchsia/+/main:zircon/vdso/cache.fidl + +include +include + +zx_cache_flush(addr ptr[inout, intptr], size int64, options flags[cache_flush_options]) + +cache_flush_options = ZX_CACHE_FLUSH_DATA, ZX_CACHE_FLUSH_INVALIDATE, ZX_CACHE_FLUSH_INSN diff --git a/sys/fuchsia/cache_amd64.const b/sys/fuchsia/cache_amd64.const new file mode 100644 index 000000000..d004f8574 --- /dev/null +++ b/sys/fuchsia/cache_amd64.const @@ -0,0 +1,5 @@ +# AUTOGENERATED FILE +ZX_CACHE_FLUSH_DATA = 2 +ZX_CACHE_FLUSH_INSN = 1 +ZX_CACHE_FLUSH_INVALIDATE = 4 +ZX_INTERRUPT_VIRTUAL = 16 diff --git a/sys/fuchsia/cache_arm64.const b/sys/fuchsia/cache_arm64.const new file mode 100644 index 000000000..d004f8574 --- /dev/null +++ b/sys/fuchsia/cache_arm64.const @@ -0,0 +1,5 @@ +# AUTOGENERATED FILE +ZX_CACHE_FLUSH_DATA = 2 +ZX_CACHE_FLUSH_INSN = 1 +ZX_CACHE_FLUSH_INVALIDATE = 4 +ZX_INTERRUPT_VIRTUAL = 16 diff --git a/sys/fuchsia/ddk.txt b/sys/fuchsia/ddk.txt deleted file mode 100644 index 2bc278136..000000000 --- a/sys/fuchsia/ddk.txt +++ /dev/null @@ -1,9 +0,0 @@ -# Copyright 2018 syzkaller project authors. All rights reserved. -# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. - -include -include - -cache_flush_flags = ZX_CACHE_FLUSH_DATA, ZX_CACHE_FLUSH_INVALIDATE, ZX_CACHE_FLUSH_INSN - -zx_cache_flush(addr ptr[out, intptr], size int64, flags flags[cache_flush_flags]) diff --git a/sys/fuchsia/ddk_amd64.const b/sys/fuchsia/ddk_amd64.const deleted file mode 100644 index d004f8574..000000000 --- a/sys/fuchsia/ddk_amd64.const +++ /dev/null @@ -1,5 +0,0 @@ -# AUTOGENERATED FILE -ZX_CACHE_FLUSH_DATA = 2 -ZX_CACHE_FLUSH_INSN = 1 -ZX_CACHE_FLUSH_INVALIDATE = 4 -ZX_INTERRUPT_VIRTUAL = 16 diff --git a/sys/fuchsia/ddk_arm64.const b/sys/fuchsia/ddk_arm64.const deleted file mode 100644 index d004f8574..000000000 --- a/sys/fuchsia/ddk_arm64.const +++ /dev/null @@ -1,5 +0,0 @@ -# AUTOGENERATED FILE -ZX_CACHE_FLUSH_DATA = 2 -ZX_CACHE_FLUSH_INSN = 1 -ZX_CACHE_FLUSH_INVALIDATE = 4 -ZX_INTERRUPT_VIRTUAL = 16 -- cgit mrf-deployment