timer_event        47 sys/kern/timer.c static struct event	timer_event;	/* event to wakeup a timer thread */
timer_event       357 sys/kern/timer.c 		sched_sleep(&timer_event);
timer_event       428 sys/kern/timer.c 		sched_wakeup(&timer_event);
timer_event       462 sys/kern/timer.c 	event_init(&timer_event, "timer");