Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 71842)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 71843)
@@ -2386,7 +2386,6 @@
  * @param   pVCpu           The cross context virtual CPU structure.
  * @param   pCtx            Pointer to the nested-guest-CPU context.
- * @param   pVmcbNstGst     Pointer to the nested-guest VMCB.
- */
-static void hmR0SvmMergeMsrpm(PHMGLOBALCPUINFO pHostCpu, PVMCPU pVCpu, PCPUMCTX pCtx, PSVMVMCB pVmcbNstGst)
+ */
+static void hmR0SvmMergeMsrpm(PHMGLOBALCPUINFO pHostCpu, PVMCPU pVCpu, PCPUMCTX pCtx)
 {
     uint64_t const *pu64GstMsrpm    = (uint64_t const *)pVCpu->hm.s.svm.pvMsrBitmap;
@@ -4389,7 +4388,7 @@
     else
     {
-        hmR0SvmMergeMsrpm(pHostCpu, pVCpu, pCtx, pVmcb);
-
-        /* Update the nested-guest VMCB with the newly merged MSRPM.*/
+        hmR0SvmMergeMsrpm(pHostCpu, pVCpu, pCtx);
+
+        /* Update the nested-guest VMCB with the newly merged MSRPM (clean bits updated below). */
         pVmcb->ctrl.u64MSRPMPhysAddr = pHostCpu->n.svm.HCPhysNstGstMsrpm;
         pbMsrBitmap = (uint8_t *)pHostCpu->n.svm.pvNstGstMsrpm;