EXC_EXT_INTERRUPT 328 kernel/arch/ia64/src/interrupt.c exc_register(EXC_EXT_INTERRUPT, EXC_EXT_INTERRUPT 329 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_EXT_INTERRUPT), true,