Changeset 13193 in vbox for trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp

Timestamp:

Oct 13, 2008 6:30:04 AM (16 years ago)

Author:

vboxsync

Message:

uint64_t conversion fix

File:

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

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

@@ -2282 +2282 @@
         AssertRC(rc);
 #else
+        uint32_t val_hi;
         rc = VMXReadVMCS(VMX_VMCS_EXIT_PHYS_ADDR_FULL, &val);
         AssertRC(rc);
-        GCPhys = val;
-        rc = VMXReadVMCS(VMX_VMCS_EXIT_PHYS_ADDR_HIGH, &val);
-        GCPhys |= (val << 32ULL);      
+        rc = VMXReadVMCS(VMX_VMCS_EXIT_PHYS_ADDR_HIGH, &val_hi);
+        AssertRC(rc);
+        GCPhys = RT_MAKE_U64(val, val_hi);
 #endif