[PATCH v7 06/14] iommufd/viommu: Add iommufd_viommu_get_vdev_id helper