FPU_access_ok
#define FPU_code_access_ok(z) FPU_access_ok((void __user *)FPU_EIP,z)
FPU_access_ok(data_address, 2);
FPU_access_ok(data_address, 2);
FPU_access_ok(data_address, 2);
FPU_access_ok(dfloat, 8);
FPU_access_ok(s, 0x0e);
FPU_access_ok(s, 0x1c);
FPU_access_ok(s, 80);
FPU_access_ok(d, 14);
FPU_access_ok(d, 7 * 4);
FPU_access_ok(d, 80);
FPU_access_ok(single, 4);
FPU_access_ok(_s, 8);
FPU_access_ok(_s, 4);
FPU_access_ok(_s, 2);
FPU_access_ok(s, 10);
FPU_access_ok(d, 10);
FPU_access_ok(d, 10);
FPU_access_ok(dfloat, 8);
FPU_access_ok(dfloat, 8);
FPU_access_ok(single, 4);
FPU_access_ok(single, 4);
FPU_access_ok(d, 8);
FPU_access_ok(d, 4);
FPU_access_ok(s, 10);
FPU_access_ok(d, 2);
FPU_access_ok(d, 10);
FPU_access_ok(d, 10);