EXC_INST_A_BIT_FAULT 322 kernel/arch/ia64/src/interrupt.c exc_register(EXC_INST_A_BIT_FAULT, EXC_INST_A_BIT_FAULT 323 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_INST_A_BIT_FAULT), true,