EXC_ALT_DTLB_FAULT 313 kernel/arch/ia64/src/interrupt.c exc_register(EXC_ALT_DTLB_FAULT, EXC_ALT_DTLB_FAULT 314 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_ALT_DTLB_FAULT), true,