Index: /trunk/src/VBox/VMM/VMMAll/APICAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/APICAll.cpp	(revision 60475)
+++ /trunk/src/VBox/VMM/VMMAll/APICAll.cpp	(revision 60476)
@@ -618,4 +618,6 @@
                 && apicIsEnabled(&pVM->aCpus[idCpu]))
                 APICPostInterrupt(&pVM->aCpus[idCpu], uVector, enmTriggerMode);
+            else
+                Log4(("APIC: apicSendIntr: No CPU found for lowest-priority delivery mode!\n"));
             break;
         }
@@ -813,7 +815,10 @@
                 uint8_t const u8Tpr      = pXApicPage->tpr.u8Tpr;         /* PAV */
 
-                /* If there is a tie for lowest priority, the local APIC with the highest ID is chosen.
-                   See AMD spec. 16.6.2 "Lowest Priority Messages and Arbitration". */
-                if (u8LowestTpr <= u8Tpr)
+                /*
+                 * If there is a tie for lowest priority, the local APIC with the highest ID is chosen.
+                 * Hence the use of "<=" in the check below.
+                 * See AMD spec. 16.6.2 "Lowest Priority Messages and Arbitration".
+                 */
+                if (u8Tpr <= u8LowestTpr)
                 {
                     u8LowestTpr    = u8Tpr;