diff options
Diffstat (limited to 'drivers/pci/dmar.c')
-rw-r--r-- | drivers/pci/dmar.c | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/drivers/pci/dmar.c b/drivers/pci/dmar.c index 1959cdadad51..f4c51709d132 100644 --- a/drivers/pci/dmar.c +++ b/drivers/pci/dmar.c | |||
@@ -360,12 +360,14 @@ dmar_parse_one_rhsa(struct acpi_dmar_header *header) | |||
360 | return 0; | 360 | return 0; |
361 | } | 361 | } |
362 | } | 362 | } |
363 | WARN(1, "Your BIOS is broken; RHSA refers to non-existent DMAR unit at %llx\n" | 363 | WARN_TAINT( |
364 | "BIOS vendor: %s; Ver: %s; Product Version: %s\n", | 364 | 1, TAINT_FIRMWARE_WORKAROUND, |
365 | drhd->reg_base_addr, | 365 | "Your BIOS is broken; RHSA refers to non-existent DMAR unit at %llx\n" |
366 | dmi_get_system_info(DMI_BIOS_VENDOR), | 366 | "BIOS vendor: %s; Ver: %s; Product Version: %s\n", |
367 | dmi_get_system_info(DMI_BIOS_VERSION), | 367 | drhd->reg_base_addr, |
368 | dmi_get_system_info(DMI_PRODUCT_VERSION)); | 368 | dmi_get_system_info(DMI_BIOS_VENDOR), |
369 | dmi_get_system_info(DMI_BIOS_VERSION), | ||
370 | dmi_get_system_info(DMI_PRODUCT_VERSION)); | ||
369 | 371 | ||
370 | return 0; | 372 | return 0; |
371 | } | 373 | } |
@@ -620,12 +622,14 @@ int __init dmar_table_init(void) | |||
620 | 622 | ||
621 | static void warn_invalid_dmar(u64 addr, const char *message) | 623 | static void warn_invalid_dmar(u64 addr, const char *message) |
622 | { | 624 | { |
623 | WARN_ONCE(1, "Your BIOS is broken; DMAR reported at address %llx%s!\n" | 625 | WARN_TAINT_ONCE( |
624 | "BIOS vendor: %s; Ver: %s; Product Version: %s\n", | 626 | 1, TAINT_FIRMWARE_WORKAROUND, |
625 | addr, message, | 627 | "Your BIOS is broken; DMAR reported at address %llx%s!\n" |
626 | dmi_get_system_info(DMI_BIOS_VENDOR), | 628 | "BIOS vendor: %s; Ver: %s; Product Version: %s\n", |
627 | dmi_get_system_info(DMI_BIOS_VERSION), | 629 | addr, message, |
628 | dmi_get_system_info(DMI_PRODUCT_VERSION)); | 630 | dmi_get_system_info(DMI_BIOS_VENDOR), |
631 | dmi_get_system_info(DMI_BIOS_VERSION), | ||
632 | dmi_get_system_info(DMI_PRODUCT_VERSION)); | ||
629 | } | 633 | } |
630 | 634 | ||
631 | int __init check_zero_address(void) | 635 | int __init check_zero_address(void) |