EXC_DATA_D_BIT_FAULT 319 kernel/arch/ia64/src/interrupt.c exc_register(EXC_DATA_D_BIT_FAULT, EXC_DATA_D_BIT_FAULT 320 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_DATA_D_BIT_FAULT), true,