--- 57530361f15d10ec0f945b8071d42f4aee486ab7 +++ 91d039016ad93ab776177670975fd8c81ec9e26e @@ -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;