EXC_DATA_A_BIT_FAULT 325 kernel/arch/ia64/src/interrupt.c exc_register(EXC_DATA_A_BIT_FAULT, EXC_DATA_A_BIT_FAULT 326 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_DATA_A_BIT_FAULT), true,