diff options
| -rw-r--r-- | drivers/pci/dmar.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/drivers/pci/dmar.c b/drivers/pci/dmar.c index e5f8fc164fd3..b952ebc7a78b 100644 --- a/drivers/pci/dmar.c +++ b/drivers/pci/dmar.c | |||
| @@ -609,6 +609,9 @@ int __init check_zero_address(void) | |||
| 609 | dmi_get_system_info(DMI_BIOS_VENDOR), | 609 | dmi_get_system_info(DMI_BIOS_VENDOR), |
| 610 | dmi_get_system_info(DMI_BIOS_VERSION), | 610 | dmi_get_system_info(DMI_BIOS_VERSION), |
| 611 | dmi_get_system_info(DMI_PRODUCT_VERSION)); | 611 | dmi_get_system_info(DMI_PRODUCT_VERSION)); |
| 612 | #ifdef CONFIG_DMAR | ||
| 613 | dmar_disabled = 1; | ||
| 614 | #endif | ||
| 612 | return 0; | 615 | return 0; |
| 613 | } | 616 | } |
| 614 | break; | 617 | break; |
