Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 78241)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 78242)
@@ -7529,5 +7529,5 @@
                      *        remove when we drop 32-bit host w/ 64-bit host support, see
                      *        @bugref{9180#c39}. */
-                    rc  = VMXReadVmcs32(VMX_VMCS_GUEST_CR0,              &u32Val);
+                    rc  = VMXReadVmcs32(VMX_VMCS_GUEST_CR0, &u32Val);
 #if HC_ARCH_BITS == 32
                     uint32_t u32Shadow;
@@ -7551,5 +7551,5 @@
                      *        remove when we drop 32-bit host w/ 64-bit host support, see
                      *        @bugref{9180#c39}. */
-                    rc  = VMXReadVmcs32(VMX_VMCS_GUEST_CR4,              &u32Val);
+                    rc  = VMXReadVmcs32(VMX_VMCS_GUEST_CR4, &u32Val);
 #if HC_ARCH_BITS == 32
                     uint32_t u32Shadow;