tag	line	file	source code
FPU_entry_eip	30	drivers/FPU-emu/fpu_aux.c	FPU_entry_eip = ip_offset;               /* We want no net effect */
FPU_entry_eip	50	drivers/FPU-emu/fpu_aux.c	FPU_entry_eip = ip_offset = 0;
FPU_entry_eip	98	drivers/FPU-emu/fpu_emu.h	{ FPU_entry_eip = ip_offset; \
FPU_entry_eip	304	drivers/FPU-emu/fpu_entry.c	FPU_entry_eip = FPU_ORIG_EIP;
FPU_entry_eip	539	drivers/FPU-emu/fpu_entry.c	ip_offset = FPU_entry_eip;