EXC_ALT_ITLB_FAULT 310 kernel/arch/ia64/src/interrupt.c exc_register(EXC_ALT_ITLB_FAULT, EXC_ALT_ITLB_FAULT 311 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_ALT_ITLB_FAULT), true,