Symbol: ktimer_gettime_args
sys/kern/kern_time.c
1494
struct ktimer_gettime_args {
sys/sys/sysproto.h
637
struct ktimer_gettime_args {