tick_interrupt 45 kernel/arch/sparc64/include/arch/drivers/tick.h extern void tick_interrupt(unsigned int, istate_t *); tick_interrupt 144 kernel/arch/sparc64/src/trap/interrupt.c tick_interrupt);