RE: [PATCH v4 03/10] iommufd: Move the iommufd_handle helpers to iommufd_private.h