1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef CPU_X86_BIST_H 4 #define CPU_X86_BIST_H 5 6 #include <console/console.h> 7 #include <stdint.h> 8 report_bist_failure(u32 bist)9static inline void report_bist_failure(u32 bist) 10 { 11 if (bist != 0) { 12 printk(BIOS_EMERG, "BIST failed: %08x", bist); 13 die("\n"); 14 } 15 } 16 17 #endif /* CPU_X86_BIST_H */ 18