Changeset 13195 in vbox for trunk/include/VBox

Timestamp:

Oct 13, 2008 8:45:56 AM (16 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

37737

Message:

Prefetch the four PDPT entries in PAE mode (EPT only).

Location:

trunk/include/VBox

Files:

• hwacc_vmx.h (modified) (3 diffs)
• pgm.h (modified) (1 diff)

trunk/include/VBox/hwacc_vmx.h

@@ -1382 +1382 @@
  * @param   u64Val          16, 32 or 64 bits value
  */
+#if HC_ARCH_BITS == 64
 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,  u64Val >> 32ULL);
+    return rc;
+}
+#endif
 
 /**
@@ -1391 +1402 @@
  * @param   u32Val          32 bits value
  */
-#if RT_INLINE_ASM_EXTERNAL || HC_ARCH_BITS == 64
+#if HC_ARCH_BITS == 64
+DECLINLINE(int) VMXWriteVMCS32(uint32_t idxField, uint32_t u32Val)
+{
+    return VMXWriteVMCS64(idxField, u32Val);
+}
+#elif RT_INLINE_ASM_EXTERNAL
 DECLASM(int) VMXWriteVMCS32(uint32_t idxField, uint32_t u32Val);
 #else
@@ -1435 +1451 @@
 }
 #endif
-
-#if HC_ARCH_BITS == 64
-#define VMXWriteVMCS VMXWriteVMCS64
-#else
-#define VMXWriteVMCS VMXWriteVMCS32
-#endif /* HC_ARCH_BITS == 64 */
 
 

trunk/include/VBox/pgm.h

@@ -336 +336 @@
 VMMDECL(int)    PGMGstSetPage(PVM pVM, RTGCPTR GCPtr, size_t cb, uint64_t fFlags);
 VMMDECL(int)    PGMGstModifyPage(PVM pVM, RTGCPTR GCPtr, size_t cb, uint64_t fFlags, uint64_t fMask);
+VMMDECL(X86PDPE) PGMGstGetPaePDPtr(PVM pVM, unsigned iPdPt);
+
 VMMDECL(int)    PGMFlushTLB(PVM pVM, uint64_t cr3, bool fGlobal);
 VMMDECL(int)    PGMUpdateCR3(PVM pVM, uint64_t cr3);