Lines Matching refs:VERIFY_READ
94 FPU_access_ok(VERIFY_READ, s, 10);
109 FPU_access_ok(VERIFY_READ, dfloat, 8);
181 FPU_access_ok(VERIFY_READ, single, 4);
246 FPU_access_ok(VERIFY_READ, _s, 8);
278 FPU_access_ok(VERIFY_READ, _s, 4);
306 FPU_access_ok(VERIFY_READ, _s, 2);
339 FPU_access_ok(VERIFY_READ, s, 10);
1191 FPU_access_ok(VERIFY_READ, s, 0x0e);
1211 FPU_access_ok(VERIFY_READ, s, 0x1c);
1279 FPU_access_ok(VERIFY_READ,s,80);