time_remain       156 sys/kern/timer.c 		remain = hztoms(time_remain(tmr->expire));
time_remain       218 sys/kern/timer.c 		left = hztoms(time_remain(tmr->expire));
time_remain       416 sys/kern/timer.c 			ticks = time_remain(tmr->expire + tmr->interval);