Re: [PATCH v8 01/14] iommufd/fault: Move two fault functions out of the header