external_interrupt 91 kernel/arch/ia64/include/arch/interrupt.h extern void external_interrupt(unsigned int, istate_t *); external_interrupt 330 kernel/arch/ia64/src/interrupt.c external_interrupt);