vm_iommu_domain
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));
void *vm_iommu_domain(struct vm *vm);