/* SPDX-License-Identifier: GPL-2.0-only */ | |
#ifndef CPU_X86_BIST_H | |
#define CPU_X86_BIST_H | |
#include <console/console.h> | |
#include <stdint.h> | |
static inline void report_bist_failure(u32 bist) | |
{ | |
if (bist != 0) { | |
printk(BIOS_EMERG, "BIST failed: %08x", bist); | |
die("\n"); | |
} | |
} | |
#endif /* CPU_X86_BIST_H */ |