Symbol: ptimer_tick
sys/kern/kern_clock.c
313
ptimer_tick(l, CLKF_USERMODE(frame));
sys/sys/timevar.h
231
void ptimer_tick(struct lwp *, bool);