Index: sys/amd64/vmm/io/iommu.c
===================================================================
--- sys/amd64/vmm/io/iommu.c
+++ sys/amd64/vmm/io/iommu.c
@@ -297,6 +297,7 @@
 {
 
 	IOMMU_REMOVE_DEVICE(dom, rid);
+	IOMMU_ADD_DEVICE(host_domain, rid);
 }
 
 void