tag	line	file	source code
___orig_eip	30	drivers/FPU-emu/fpu_system.h	#define FPU_ORIG_EIP    (FPU_info->___orig_eip)
___orig_eip	13	include/linux/math_emu.h	long ___orig_eip;
___orig_eip	44	include/linux/math_emu.h	#define ORIG_EIP (info->___orig_eip)