2004-10-14 22:13:01 +02:00
|
|
|
#ifndef CPU_X86_BIST_H
|
|
|
|
#define CPU_X86_BIST_H
|
|
|
|
|
2016-11-23 22:54:29 +01:00
|
|
|
#include <console/console.h>
|
|
|
|
|
2016-11-22 23:54:19 +01:00
|
|
|
static inline void report_bist_failure(u32 bist)
|
2004-10-14 22:13:01 +02:00
|
|
|
{
|
|
|
|
if (bist != 0) {
|
2016-09-01 19:01:41 +02:00
|
|
|
printk(BIOS_EMERG, "BIST failed: %08x", bist);
|
2010-03-31 16:47:43 +02:00
|
|
|
die("\n");
|
2004-10-14 22:13:01 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-11 20:47:30 +01:00
|
|
|
#endif /* CPU_X86_BIST_H */
|