filt_timerexpire   94 kern/kern_event.c void	filt_timerexpire(void *knx);
filt_timerexpire  336 kern/kern_event.c 	timeout_set(to, filt_timerexpire, kn);