tag	line	file	source code
int_type	299	drivers/FPU-emu/errors.c	int i, int_type;
int_type	301	drivers/FPU-emu/errors.c	int_type = 0;         /* Needed only to stop compiler warnings */
int_type	304	drivers/FPU-emu/errors.c	int_type = n - EX_INTERNAL;
int_type	351	drivers/FPU-emu/errors.c	printk("FPU emulator: Internal error type 0x%04x\n", int_type);