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