Index: /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h	(revision 75411)
+++ /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h	(revision 75412)
@@ -4433,5 +4433,5 @@
  * @param   pVCpu       The cross context virtual CPU structure.
  */
-IEM_STATIC VBOXSTRICTRC iemVmxVmexitPprVirtualization(PVMCPU pVCpu)
+IEM_STATIC void iemVmxVmexitPprVirtualization(PVMCPU pVCpu)
 {
     PCVMXVVMCS pVmcs = pVCpu->cpum.GstCtx.hwvirt.vmx.CTX_SUFF(pVmcs);
@@ -4445,5 +4445,5 @@
 
     uint32_t uVPpr;
-    if (((uVTpr >> 4) & 0xf) >= (uSvi >> 4) & 0xf)
+    if (((uVTpr >> 4) & 0xf) >= ((uSvi >> 4) & 0xf))
         uVPpr = uVTpr & 0xff;
     else
@@ -4469,4 +4469,6 @@
     Assert(pVmcs->u32ProcCtls & VMX_PROC_CTLS_USE_TPR_SHADOW);
     Assert(!(pVmcs->u32ProcCtls2 & VMX_PROC_CTLS2_VIRT_INT_DELIVERY));    /* We don't support virtual-interrupt delivery yet. */
+    /** @todo NSTVMX: When virtual-interrupt delivery is present, call PPR virt. and
+     *        evaluate pending virtual interrupts. */
 
     uint32_t const uTprThreshold = pVmcs->u32TprThreshold;