tag	line	file	source code
int_type	209	kernel/FPU-emu/errors.c	int i, int_type;
int_type	213	kernel/FPU-emu/errors.c	int_type = n - EX_INTERNAL;
int_type	250	kernel/FPU-emu/errors.c	printk("FP emulator: Internal error type 0x%04x\n", int_type);