softclock_si      124 kern/kern_clock.c void	*softclock_si;
softclock_si      150 kern/kern_clock.c 	softclock_si = softintr_establish(IPL_SOFTCLOCK, generic_softclock, NULL);
softclock_si      151 kern/kern_clock.c 	if (softclock_si == NULL)
softclock_si      323 kern/kern_clock.c 		softintr_schedule(softclock_si);
softclock_si     1171 kern/kern_sig.c 	extern void *softclock_si;
softclock_si     1187 kern/kern_sig.c                 softintr_schedule(softclock_si);