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  
 9  static 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 */