Index: /trunk/src/VBox/Devices/PC/DevACPI.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 85346)
+++ /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 85347)
@@ -196,5 +196,7 @@
     SYSTEM_INFO_INDEX_PREF64_MEMORY_MAX = 30,
     SYSTEM_INFO_INDEX_NVME_ADDRESS      = 31, /**< First NVMe controller PCI address, or 0 */
-    SYSTEM_INFO_INDEX_END               = 32,
+    SYSTEM_INFO_INDEX_IOMMU_AMD_ADDRESS = 32, /**< AMD IOMMU PCI address, or 0 */
+    SYSTEM_INFO_INDEX_SB_IOAPIC_ADDRESS = 33, /**< Southbridge I/O APIC (needed by AMD IOMMU) PCI address, or 0 */
+    SYSTEM_INFO_INDEX_END               = 34,
     SYSTEM_INFO_INDEX_INVALID           = 0x80,
     SYSTEM_INFO_INDEX_VALID             = 0x200
Index: /trunk/src/VBox/Devices/PC/vbox.dsl
===================================================================
--- /trunk/src/VBox/Devices/PC/vbox.dsl	(revision 85346)
+++ /trunk/src/VBox/Devices/PC/vbox.dsl	(revision 85347)
@@ -376,4 +376,6 @@
         Offset (0x200),
         VAIN, 32,
+        IOMA, 32, // AMD IOMMU
+        SIOA, 32, // Southbridge IO APIC (when AMD IOMMU is present) 
     }