Changeset 15385 in vbox for trunk/include

Timestamp:

Dec 12, 2008 4:44:20 PM (16 years ago)

Author:

vboxsync

Message:

Cache only those writes which require special attention in 32 bits host mode.

File:

• trunk/include/VBox/hwacc_vmx.h (modified) (1 diff)

trunk/include/VBox/hwacc_vmx.h

@@ -1443 +1443 @@
 DECLASM(int) VMXWriteVMCS64(uint32_t idxField, uint64_t u64Val);
 #else
-DECLINLINE(int) VMXWriteVMCS64(uint32_t idxField, uint64_t u64Val)
-{
-    int rc;
-
-    rc  = VMXWriteVMCS32(idxField, u64Val);
-    rc |= VMXWriteVMCS32(idxField + 1, (uint32_t)(u64Val >> 32ULL));
-    AssertRC(rc);
-    return rc;
-}
+VMMR0DECL(int) VMXWriteVMCS64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val);
+
+#define VMXWriteVMCS64(idxField, u64Val)    VMXWriteVMCS64Ex(pVCpu, idxField, u64Val)
 #endif