Index: /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp
===================================================================
--- /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 84317)
+++ /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 84318)
@@ -4797,7 +4797,13 @@
                         if (   rc == VERR_IOMMU_CMD_NOT_SUPPORTED
                             || rc == VERR_IOMMU_CMD_INVALID_FORMAT)
+                        {
+                            Assert(EvtError.n.u4EvtCode == IOMMU_EVT_ILLEGAL_CMD_ERROR);
                             iommuAmdRaiseIllegalCmdEvent(pDevIns, (PCEVT_ILLEGAL_CMD_ERR_T)&EvtError);
+                        }
                         else if (rc == VERR_IOMMU_CMD_HW_ERROR)
+                        {
+                            Assert(EvtError.n.u4EvtCode == IOMMU_EVT_COMMAND_HW_ERROR);
                             iommuAmdRaiseCmdHwErrorEvent(pDevIns, (PCEVT_CMD_HW_ERR_T)&EvtError);
+                        }
                         break;
                     }