#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 */