iommu_report_device_fault 1038 drivers/iommu/iommu.c int iommu_report_device_fault(struct device *dev, struct iommu_fault_event *evt)
iommu_report_device_fault  840 include/linux/iommu.h int iommu_report_device_fault(struct device *dev, struct iommu_fault_event *evt)