const char * mca_get_bank_name(unsigned int bank)
bool mca_skip_check(void)
void mca_print_error(unsigned int bank)
#define printk(level,...)
#define MC_CTL_MASK(bank)
#define IA32_MC_ADDR(bank)
static __always_inline msr_t rdmsr(unsigned int index)
#define IA32_MC_STATUS(bank)
#define IA32_MC_MISC(bank)
#define IA32_MC_CTL(bank)
static __always_inline unsigned int initial_lapicid(void)
#define BIOS_WARNING
BIOS_WARNING - Bad configuration.