Symbol: ptimer_free
sys/kern/kern_time.c
1164
ptimer_free(pts, i);
sys/kern/kern_time.c
1356
ptimer_free(pts, timerid);