Searched refs:virtio_iommu_put_domain (Results 1 – 2 of 2) sorted by relevance
378 static void virtio_iommu_put_domain(gpointer data) in virtio_iommu_put_domain() function1520 NULL, NULL, virtio_iommu_put_domain); in virtio_iommu_device_reset()
128 virtio_iommu_put_domain(uint32_t domain_id) "Free domain=%d"