general_exception 88 kernel/arch/ia64/include/arch/interrupt.h extern void general_exception(unsigned int, istate_t *); general_exception 340 kernel/arch/ia64/src/interrupt.c general_exception);