diff options
Diffstat (limited to 'kern/mach_clock.h')
| -rw-r--r-- | kern/mach_clock.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/mach_clock.h b/kern/mach_clock.h index 9a670011..60b49b8a 100644 --- a/kern/mach_clock.h +++ b/kern/mach_clock.h @@ -92,13 +92,13 @@ extern void init_timeout (void); * Record a timestamp in STAMP. Records values in the boot-time clock * frame. */ -extern void record_time_stamp (time_value_t *stamp); +extern void record_time_stamp (time_value64_t *stamp); /* * Read a timestamp in STAMP into RESULT. Returns values in the * real-time clock frame. */ -extern void read_time_stamp (const time_value_t *stamp, rpc_time_value_t *result); +extern void read_time_stamp (const time_value64_t *stamp, rpc_time_value_t *result); extern void mapable_time_init (void); |