From 5fdc928d3d29fdc93ad00cea5f5c877a19013d44 Mon Sep 17 00:00:00 2001 From: Luca Dariz Date: Sun, 12 Feb 2023 18:03:11 +0100 Subject: fix rpc time value for 64 bit * include/mach/task_info.h: use rpc variant of time_value_t * include/mach/thread_info.h: Likewise * kern/mach_clock.c: use rpc variant of time_value_t in read_time_stamp() * kern/mach_clock.h: Likewise * kern/thread.c: use rpc variant of thread_read_times() * kern/timer.h_ add thread_read_times_rpc() by converting time_value_t to the corresponding rpc structures inline. Message-Id: <20230212170313.1501404-5-luca@orpolo.org> --- kern/mach_clock.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kern/mach_clock.c') diff --git a/kern/mach_clock.c b/kern/mach_clock.c index 09717d16..ed38c76b 100644 --- a/kern/mach_clock.c +++ b/kern/mach_clock.c @@ -429,7 +429,7 @@ record_time_stamp(time_value_t *stamp) * real-time clock frame. */ void -read_time_stamp (const time_value_t *stamp, time_value_t *result) +read_time_stamp (const time_value_t *stamp, rpc_time_value_t *result) { time_value64_t result64; TIME_VALUE_TO_TIME_VALUE64(stamp, &result64); -- cgit v1.2.3