Lines Matching refs:FPU_access_ok
87 FPU_access_ok(VERIFY_READ, s, 10); in FPU_load_extended()
101 FPU_access_ok(VERIFY_READ, dfloat, 8); in FPU_load_double()
162 FPU_access_ok(VERIFY_READ, single, 4); in FPU_load_single()
217 FPU_access_ok(VERIFY_READ, _s, 8); in FPU_load_int64()
246 FPU_access_ok(VERIFY_READ, _s, 4); in FPU_load_int32()
274 FPU_access_ok(VERIFY_READ, _s, 2); in FPU_load_int16()
307 FPU_access_ok(VERIFY_READ, s, 10); in FPU_load_bcd()
348 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_extended()
367 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_extended()
542 FPU_access_ok(VERIFY_WRITE, dfloat, 8); in FPU_store_double()
555 FPU_access_ok(VERIFY_WRITE, dfloat, 8); in FPU_store_double()
727 FPU_access_ok(VERIFY_WRITE, single, 4); in FPU_store_single()
745 FPU_access_ok(VERIFY_WRITE, single, 4); in FPU_store_single()
794 FPU_access_ok(VERIFY_WRITE, d, 8); in FPU_store_int64()
841 FPU_access_ok(VERIFY_WRITE, d, 4); in FPU_store_int32()
887 FPU_access_ok(VERIFY_WRITE, d, 2); in FPU_store_int16()
928 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_bcd()
944 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_bcd()
1037 FPU_access_ok(VERIFY_READ, s, 0x0e); in fldenv()
1059 FPU_access_ok(VERIFY_READ, s, 0x1c); in fldenv()
1128 FPU_access_ok(VERIFY_READ, s, 80); in frstor()
1149 FPU_access_ok(VERIFY_WRITE, d, 14); in fstenv()
1177 FPU_access_ok(VERIFY_WRITE, d, 7 * 4); in fstenv()
1207 FPU_access_ok(VERIFY_WRITE, d, 80); in fsave()