wakeup            393 sys/kern/timer.c 	int wakeup = 0;
wakeup            424 sys/kern/timer.c 			wakeup = 1;
wakeup            427 sys/kern/timer.c 	if (wakeup)