CONFIG_IOMMU_IOPF (not configurable)
modulename: io-pgfault.ko
configname: CONFIG_IOMMU_IOPF
Linux Kernel Configuration
└─>Device Drivers
└─>IOMMU Hardware Support
└─>IOMMU_IOPF
