Symbol: viommu_domain_alloc_paging
drivers/iommu/virtio-iommu.c
1094
.domain_alloc_paging = viommu_domain_alloc_paging,
drivers/iommu/virtio-iommu.c
721
domain = viommu_domain_alloc_paging(dev);