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