Changeset 46090 in vbox for trunk/src/VBox/VMM

Timestamp:

May 15, 2013 9:59:18 AM (12 years ago)

Author:

vboxsync

Message:

VMM/HMVMXR0: Extra careful with macros.

File:

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

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

@@ -71 +71 @@
 #else /* !VBOX_WITH_OLD_VTX_CODE */
 # ifdef VBOX_WITH_HYBRID_32BIT_KERNEL
-#  define VMXReadVmcsHstN(idxField, p64Val)               HMVMX_IS_64BIT_HOST_MODE() ?                     \
-                                                            VMXReadVmcs64(idxField, p64Val)                \
-                                                          : (*p64Val &= UINT64_C(0xffffffff),              \
-                                                             VMXReadVmcs32(idxField, (uint32_t *)p64Val))
-#  define VMXReadVmcsGstN(idxField, p64Val)               (pVCpu->CTX_SUFF(pVM)->hm.s.fAllow64BitGuests) ? \
-                                                            VMXReadVmcs64(idxField, p64Val)                \
-                                                          : (*p64Val &= UINT64_C(0xffffffff),              \
-                                                             VMXReadVmcs32(idxField, (uint32_t *)p64Val))
+#  define VMXReadVmcsHstN(idxField, p64Val)               HMVMX_IS_64BIT_HOST_MODE() ?                      \
+                                                            VMXReadVmcs64(idxField, p64Val)                 \
+                                                          : (*(p64Val) &= UINT64_C(0xffffffff),             \
+                                                             VMXReadVmcs32(idxField, (uint32_t *)(p64Val)))
+#  define VMXReadVmcsGstN(idxField, p64Val)               (pVCpu->CTX_SUFF(pVM)->hm.s.fAllow64BitGuests) ?  \
+                                                            VMXReadVmcs64(idxField, p64Val)                 \
+                                                          : (*(p64Val) &= UINT64_C(0xffffffff),             \
+                                                             VMXReadVmcs32(idxField, (uint32_t *)(p64Val)))
 #  define VMXReadVmcsGstNByIdxVal                         VMXReadVmcsGstN
 # elif HC_ARCH_BITS == 32