Symbol: iommufd_hw_pagetable_put
drivers/iommu/iommufd/device.c
714
iommufd_hw_pagetable_put(idev->ictx, hwpt);
drivers/iommu/iommufd/device.c
980
iommufd_hw_pagetable_put(idev->ictx, destroy_hwpt);