@@ -587,12 +587,12 @@ static void warn_invalid_dmar(u64 addr, const char *message)
static int bios_warned;
if (!bios_warned) {
- WARN(1, "Your BIOS is broken; DMAR reported at address %llx%s!\n"
- "BIOS vendor: %s; Ver: %s; Product Version: %s\n",
- addr, message,
- dmi_get_system_info(DMI_BIOS_VENDOR),
- dmi_get_system_info(DMI_BIOS_VERSION),
- dmi_get_system_info(DMI_PRODUCT_VERSION));
+ pr_warning(PREFIX "BIOS bug: DMAR reported at address %llx%s!\n"
+ PREFIX "BIOS vendor: %s; Ver: %s; Product Version: %s\n",
+ addr, message,
+ dmi_get_system_info(DMI_BIOS_VENDOR),
+ dmi_get_system_info(DMI_BIOS_VERSION),
+ dmi_get_system_info(DMI_PRODUCT_VERSION));
bios_warned = 1;
}
}