tag	line	file	source code
___orig_eip	31	drivers/FPU-emu/fpu_system.h	#define FPU_ORIG_EIP    (FPU_info->___orig_eip)
___orig_eip	18	include/linux/math_emu.h	long ___orig_eip;