github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/fuchsia/clock.txt (about)

     1  # Copyright 2022 syzkaller project authors. All rights reserved.
     2  # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
     3  
     4  include <zircon/syscalls.h>
     5  include <zircon/syscalls/clock.h>
     6  
     7  resource zx_time[int64]: 0, ZX_TIME_INFINITE
     8  
     9  zx_clock_get_monotonic() (ignore_return)
    10  zx_clock_create(option flags[clock_create_opt], args ptr[in, zx_clock_create_args_v1], out ptr[out, zx_handle])
    11  zx_clock_read(handle zx_handle, now ptr[out, intptr]) (ignore_return)
    12  zx_clock_get_details(handle zx_handle, option const[0x400000000000000], details ptr[out, zx_clock_details_v1])
    13  zx_clock_update(handle zx_handle, option flags[clock_update_opt], args ptr[in, zx_clock_update_args_v2])
    14  
    15  clock_create_opt = ZX_CLOCK_OPT_MONOTONIC, ZX_CLOCK_OPT_CONTINUOUS, ZX_CLOCK_OPT_AUTO_START
    16  clock_update_opt = 0x800000000000000, ZX_CLOCK_UPDATE_OPTION_SYNTHETIC_VALUE_VALID, ZX_CLOCK_UPDATE_OPTION_REFERENCE_VALUE_VALID, ZX_CLOCK_UPDATE_OPTION_RATE_ADJUST_VALID, ZX_CLOCK_UPDATE_OPTION_ERROR_BOUND_VALID
    17  
    18  zx_clock_update_args_v2 {
    19  	rate_adjust	int32
    20  	padding		int32
    21  	synthetic_value	int64
    22  	reference_value	int64
    23  	error_bound	int64
    24  }
    25  
    26  zx_clock_create_args_v1 {
    27  	backstop_time	zx_time
    28  }
    29  
    30  zx_clock_rate {
    31  	synthetic_ticks	int32
    32  	reference_ticks	int32
    33  }
    34  
    35  zx_clock_transformation {
    36  	reference_offset	int64
    37  	synthetic_offset	int64
    38  	rate			zx_clock_rate
    39  }
    40  
    41  zx_clock_details_v1 {
    42  	options				int64
    43  	backstop_time			zx_time
    44  	ticks_to_synthetic		zx_clock_transformation
    45  	mono_to_synthetic		zx_clock_transformation
    46  	error_bound			int64
    47  	query_ticks			int64
    48  	last_value_update_ticks		int64
    49  	last_rate_adjust_update_ticks	int64
    50  	last_error_bounds_update_ticks	int64
    51  	generation_counter		int32
    52  	padding1			int32
    53  }
    54  
    55  syz_future_time(when intptr[0:1]) zx_time