Symbol: itimer_decr
sys/kern/kern_time.c
1785
if (itimer_decr(it, tick * 1000))
sys/kern/kern_time.c
1788
if (itimer_decr(it, tick * 1000))