diff options
| author | Dzmitry <dmitryya@users.noreply.github.com> | 2022-08-17 15:46:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-17 15:46:42 -0700 |
| commit | d58e263faeabeb9fe94e1fc40dad3d6e88586605 (patch) | |
| tree | d8403b6e6bb3443ddf4daf3739daf5f823916f6c | |
| parent | 898b335033077281c7417bdbba086b2b2b84afc7 (diff) | |
sys/fuchsia: fix for clock system calls (#3322)
| -rw-r--r-- | sys/fuchsia/clock.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/fuchsia/clock.txt b/sys/fuchsia/clock.txt index 4bdc0d34e..05f74ac1f 100644 --- a/sys/fuchsia/clock.txt +++ b/sys/fuchsia/clock.txt @@ -7,7 +7,6 @@ include <zircon/syscalls/clock.h> resource zx_time[int64]: 0, ZX_TIME_INFINITE zx_clock_get_monotonic() (ignore_return) -zx_clock_get_monotonic_via_kernel() (ignore_return) zx_clock_create(option flags[clock_create_opt], args ptr[in, zx_clock_create_args_v1], out ptr[out, zx_handle]) zx_clock_read(handle zx_handle, now ptr[out, intptr]) (ignore_return) zx_clock_get_details(handle zx_handle, option const[0x400000000000000], details ptr[out, zx_clock_details_v1]) @@ -52,3 +51,5 @@ zx_clock_details_v1 { generation_counter int32 padding1 int32 } + +syz_future_time(when intptr[0:1]) zx_time |