Changeset 80093 in vbox

Timestamp:

Aug 1, 2019 4:24:48 AM (5 years ago)

Author:

vboxsync

Message:

hmvmxinline.h: Kicking out 32-bit host support [nit]. bugref:9511

File:

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

trunk/include/VBox/vmm/hmvmxinline.h

@@ -574 +574 @@
 DECLINLINE(int) VMXWriteVmcs16(uint32_t uVmcsField, uint16_t u16Val)
 {
-    AssertMsg(((uVmcsField >> VMX_BF_VMCSFIELD_WIDTH_SHIFT) & 7) == VMX_VMCSFIELD_WIDTH_16BIT, ("%#RX32\n", uVmcsField));
+    AssertMsg(RT_BF_GET(uVmcsField, VMX_BF_VMCSFIELD_WIDTH) == VMX_VMCSFIELD_WIDTH_16BIT, ("%#RX32\n", uVmcsField));
     return VMXWriteVmcs32(uVmcsField, u16Val);
 }
@@ -755 +755 @@
     uint32_t u32Tmp;
     int      rc;
-    AssertMsg(((uVmcsField >> VMX_BF_VMCSFIELD_WIDTH_SHIFT) & 7) == VMX_VMCSFIELD_WIDTH_16BIT, ("%#RX32\n", uVmcsField));
+    AssertMsg(RT_BF_GET(uVmcsField, VMX_BF_VMCSFIELD_WIDTH) == VMX_VMCSFIELD_WIDTH_16BIT, ("%#RX32\n", uVmcsField));
     rc = VMXReadVmcs32(uVmcsField, &u32Tmp);
     *pData = (uint16_t)u32Tmp;