diff options
| -rw-r--r-- | sys/fuchsia/cprng.txt | 10 | ||||
| -rw-r--r-- | sys/fuchsia/cprng_amd64.const | 2 | ||||
| -rw-r--r-- | sys/fuchsia/cprng_arm64.const | 2 | ||||
| -rw-r--r-- | sys/fuchsia/sys.txt | 3 |
4 files changed, 14 insertions, 3 deletions
diff --git a/sys/fuchsia/cprng.txt b/sys/fuchsia/cprng.txt new file mode 100644 index 000000000..acb99162a --- /dev/null +++ b/sys/fuchsia/cprng.txt @@ -0,0 +1,10 @@ +# Copyright 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/cprng.fidl + +include <zircon/syscalls.h> +include <zircon/types.h> + +zx_cprng_draw(buffer ptr[out, array[int8, 0:ZX_CPRNG_DRAW_MAX_LEN]], len len[buffer]) +zx_cprng_add_entropy(buffer ptr[in, array[int8, 0:ZX_CPRNG_ADD_ENTROPY_MAX_LEN]], len len[buffer]) diff --git a/sys/fuchsia/cprng_amd64.const b/sys/fuchsia/cprng_amd64.const new file mode 100644 index 000000000..336d9a31b --- /dev/null +++ b/sys/fuchsia/cprng_amd64.const @@ -0,0 +1,2 @@ +ZX_CPRNG_DRAW_MAX_LEN = 256 +ZX_CPRNG_ADD_ENTROPY_MAX_LEN = 256
\ No newline at end of file diff --git a/sys/fuchsia/cprng_arm64.const b/sys/fuchsia/cprng_arm64.const new file mode 100644 index 000000000..336d9a31b --- /dev/null +++ b/sys/fuchsia/cprng_arm64.const @@ -0,0 +1,2 @@ +ZX_CPRNG_DRAW_MAX_LEN = 256 +ZX_CPRNG_ADD_ENTROPY_MAX_LEN = 256
\ No newline at end of file diff --git a/sys/fuchsia/sys.txt b/sys/fuchsia/sys.txt index b2bbd4cbc..d2f11af27 100644 --- a/sys/fuchsia/sys.txt +++ b/sys/fuchsia/sys.txt @@ -20,6 +20,3 @@ syz_process_self() zx_process syz_thread_self() zx_thread syz_vmar_root_self() zx_vmar syz_job_default() zx_job - -zx_cprng_draw(buffer ptr[out, array[int8]], len len[buffer]) -zx_cprng_add_entropy(buffer ptr[in, array[int8]], len len[buffer]) |