printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / include / cpu / x86 / bist.h
index 6a62150c688101b9f2bb68fdd83bb3781a7eacaa..153b39e22c05d290609e0d0e650615af2aacf978 100644 (file)
@@ -1,12 +1,17 @@
 #ifndef CPU_X86_BIST_H
 #define CPU_X86_BIST_H
 
-static void report_bist_failure(unsigned long bist)
+static void report_bist_failure(u32 bist)
 {
        if (bist != 0) {
+#if CONFIG_USE_PRINTK_IN_CAR
+                printk(BIOS_EMERG, "BIST failed: %08x", bist);
+#else
                print_emerg("BIST failed: ");
                print_emerg_hex32(bist);
+#endif
                die("\r\n");
+
        }
 }