taglinefilesource code
int_type265drivers/FPU-emu/errors.cint i, int_type;
int_type267drivers/FPU-emu/errors.cint_type = 0;         /* Needed only to stop compiler warnings */
int_type270drivers/FPU-emu/errors.cint_type = n - EX_INTERNAL;
int_type317drivers/FPU-emu/errors.cprintk("FP emulator: Internal error type 0x%04x\n", int_type);