pci_get_bdf
#define pci_get_rid(dev) (pci_get_bdf(dev))
iommu_remove_device(iommu_host_domain(), pci_get_bdf(ppt->pptd_dip));
iommu_add_device(vm_iommu_domain(vm), pci_get_bdf(ppt->pptd_dip));
iommu_remove_device(vm_iommu_domain(vm), pci_get_bdf(ppt->pptd_dip));
iommu_add_device(iommu_host_domain(), pci_get_bdf(ppt->pptd_dip));