taglinefilesource code
FPU_code_verify_area74drivers/FPU-emu/fpu_system.h#define  FPU_code_verify_area(z)
FPU_code_verify_area79drivers/FPU-emu/fpu_system.h#define  FPU_code_verify_area(z) FPU_verify_area(VERIFY_READ,(void *)FPU_EIP,z)