Lines Matching refs:VERIFY_WRITE
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()
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()