Changeset 80088 in vbox

Timestamp:

Jul 31, 2019 7:34:06 PM (6 years ago)

Author:

vboxsync

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

132528

Message:

hmvmxinline.h: Kicking out 32-bit host support, added VMX[Read|Write]Vmcs16 for upcoming changes [build fix]. bugref:9511

File:

• trunk/include/VBox/vmm/hmvmxinline.h (modified) (2 diffs)

trunk/include/VBox/vmm/hmvmxinline.h

@@ -32 +32 @@
 #include <VBox/vmm/hm_vmx.h>
 #include <VBox/err.h>
-#include <iprt/assert.h>
 
 /* In Visual C++ versions prior to 2012, the vmx intrinsics are only available
@@ -754 +753 @@
 DECLINLINE(int) VMXReadVmcs16(uint32_t uVmcsField, uint16_t *pData)
 {
-    AssertMsg(((uVmcsField >> VMX_BF_VMCSFIELD_WIDTH_SHIFT) & 7) == VMX_VMCSFIELD_WIDTH_16BIT, ("%#RX32\n", uVmcsField));
+    /* AssertMsg(((uVmcsField >> VMX_BF_VMCSFIELD_WIDTH_SHIFT) & 7) == VMX_VMCSFIELD_WIDTH_16BIT, ("%#RX32\n", uVmcsField)); */
     uint32_t u32Tmp;
     int rc = VMXReadVmcs32(uVmcsField, &u32Tmp);