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