clockintr         110 arch/i386/isa/clock.c int	clockintr(void *);
clockintr         412 arch/i386/isa/clock.c 	(void)isa_intr_establish(NULL, 0, IST_PULSE, IPL_CLOCK, clockintr,