--- drivers/pci/dmar.c

+++ drivers/pci/dmar.c

@@ -1380,6 +1380,11 @@ int __init enable_drhd_fault_handling(vo

(unsigned long long)drhd->reg_base_addr, ret);

return -1;

}

+

+ /*

+ * Clear any previous faults.

+ */

+ dmar_fault(iommu->irq, iommu);

}

return 0;