ktimer_gettime_args
{ .sy_narg = AS(ktimer_gettime_args), .sy_call = (sy_call_t *)sys_ktimer_gettime, .sy_auevent = AUE_NULL, .sy_flags = SYF_CAPENABLED, .sy_thrcnt = SY_THR_STATIC }, /* 238 = ktimer_gettime */
sys_ktimer_gettime(struct thread *td, struct ktimer_gettime_args *uap)
struct ktimer_gettime_args *p = params;
int sys_ktimer_gettime(struct thread *, struct ktimer_gettime_args *);