generic_softclock  125 kern/kern_clock.c void	generic_softclock(void *);
generic_softclock  150 kern/kern_clock.c 	softclock_si = softintr_establish(IPL_SOFTCLOCK, generic_softclock, NULL);