filt_timerdetach   96 kern/kern_event.c void	filt_timerdetach(struct knote *kn);
filt_timerdetach  106 kern/kern_event.c         { 0, filt_timerattach, filt_timerdetach, filt_timer };