Changeset 15666 in vbox for trunk/src

Timestamp:

Dec 18, 2008 3:18:39 PM (16 years ago)

Author:

vboxsync

Message:

Correct the guest cr4 value when the host isn't in PAE mode (and the guest is).

File:

• trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp (modified) (1 diff)

trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp

@@ -695 +695 @@
 
             case PGMMODE_32_BIT:        /* 32-bit paging. */
+                val &= ~X86_CR4_PAE;
                 break;