aboutsummaryrefslogtreecommitdiffstats
path: root/sys
diff options
context:
space:
mode:
authorAnge Albertini <corkami@google.com>2022-10-29 13:47:30 +0000
committerChris Palmer <snackypants@gmail.com>2022-11-01 01:02:55 -0700
commitbf413db3be446607caf54a93eb856267aa719181 (patch)
treeeb0cd1b48305124166b4f9746ecb09d448f5a07d /sys
parenta1d8560a0437774e9da5f9e4bd86671acdd5b2ee (diff)
sys/fuchsia: updated cache syscalls definitions
Diffstat (limited to 'sys')
-rw-r--r--sys/fuchsia/cache.txt11
-rw-r--r--sys/fuchsia/cache_amd64.const (renamed from sys/fuchsia/ddk_amd64.const)0
-rw-r--r--sys/fuchsia/cache_arm64.const (renamed from sys/fuchsia/ddk_arm64.const)0
-rw-r--r--sys/fuchsia/ddk.txt9
4 files changed, 11 insertions, 9 deletions
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 <zircon/syscalls.h>
+include <zircon/types.h>
+
+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/ddk_amd64.const b/sys/fuchsia/cache_amd64.const
index d004f8574..d004f8574 100644
--- a/sys/fuchsia/ddk_amd64.const
+++ b/sys/fuchsia/cache_amd64.const
diff --git a/sys/fuchsia/ddk_arm64.const b/sys/fuchsia/cache_arm64.const
index d004f8574..d004f8574 100644
--- a/sys/fuchsia/ddk_arm64.const
+++ b/sys/fuchsia/cache_arm64.const
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 <zircon/syscalls.h>
-include <zircon/types.h>
-
-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])