Symbol: ptimers_alloc
sys/kern/kern_time.c
1248
pts = ptimers_alloc(p);
sys/kern/kern_time.c
1675
pts = ptimers_alloc(p);