disabled_fp_register 92 kernel/arch/ia64/include/arch/interrupt.h extern void disabled_fp_register(unsigned int, istate_t *); disabled_fp_register 343 kernel/arch/ia64/src/interrupt.c disabled_fp_register);