Symbol: itimer_leave
sys/kern/kern_time.c
1487
itimer_leave(it);
sys/kern/kern_time.c
1527
itimer_leave(it);
sys/kern/kern_time.c
1769
itimer_leave(it);
sys/kern/kern_time.c
97
static void itimer_leave(struct itimer *);