EXC_DISABLED_FP_REG 341 kernel/arch/ia64/src/interrupt.c exc_register(EXC_DISABLED_FP_REG, EXC_DISABLED_FP_REG 342 kernel/arch/ia64/src/interrupt.c vector_to_string(EXC_DISABLED_FP_REG), true,