Index: /trunk/src/VBox/Devices/PC/DevIoApic.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevIoApic.cpp	(revision 86864)
+++ /trunk/src/VBox/Devices/PC/DevIoApic.cpp	(revision 86865)
@@ -536,5 +536,8 @@
         LogFlow(("IOAPIC: IOMMU Remap. rc=%Rrc VectorIn=%#x VectorOut=%#x\n", rcRemap, MsiIn.Data.n.u8Vector, MsiOut.Data.n.u8Vector));
         if (RT_SUCCESS(rcRemap))
+        {
             ioapicGetApicIntrFromMsi(&MsiOut, &ApicIntr);
+            Assert(ApicIntr.u8Polarity == IOAPIC_RTE_GET_POLARITY(u64Rte)); /* Ensure polarity hasn't changed. */
+        }
         else
         {