Definition at line 1344 of file kern_time.c.
Definition at line 1345 of file kern_time.c.
Referenced by sys_ktimer_delete(), and systrace_args().