Re: [PATCH 4/6] fix rpc time value for 64 bit

2023-02-12 Thread Samuel Thibault
Applied, thanks! Luca Dariz, le dim. 12 févr. 2023 18:03:11 +0100, a ecrit: > * 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 > * ker

[PATCH 4/6] fix rpc time value for 64 bit

2023-02-12 Thread Luca Dariz
* 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_