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