RE: [PATCH v5 08/14] iommufd/viommu: Add iommufd_viommu_report_event helper