Lines Matching refs:VERIFY_WRITE
347 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_extended()
366 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_extended()
541 FPU_access_ok(VERIFY_WRITE, dfloat, 8); in FPU_store_double()
554 FPU_access_ok(VERIFY_WRITE, dfloat, 8); in FPU_store_double()
726 FPU_access_ok(VERIFY_WRITE, single, 4); in FPU_store_single()
744 FPU_access_ok(VERIFY_WRITE, single, 4); in FPU_store_single()
793 FPU_access_ok(VERIFY_WRITE, d, 8); in FPU_store_int64()
840 FPU_access_ok(VERIFY_WRITE, d, 4); in FPU_store_int32()
886 FPU_access_ok(VERIFY_WRITE, d, 2); in FPU_store_int16()
927 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_bcd()
943 FPU_access_ok(VERIFY_WRITE, d, 10); in FPU_store_bcd()
1148 FPU_access_ok(VERIFY_WRITE, d, 14); in fstenv()
1176 FPU_access_ok(VERIFY_WRITE, d, 7 * 4); in fstenv()
1206 FPU_access_ok(VERIFY_WRITE, d, 80); in fsave()