iommu_remove_device
iommu_remove_device(host_domain, dev, pci_get_rid(dev));
int iommu_remove_device(void *dom, device_t dev, uint16_t rid);
error = iommu_remove_device(iommu_host_domain(), dev, pci_get_rid(dev));
error = iommu_remove_device(vm_iommu_domain(vm), ppt->dev,