const char * mca_get_bank_name(unsigned int bank)
#define printk(level,...)
static __always_inline msr_t rdmsr(unsigned int index)
static __always_inline unsigned int initial_lapicid(void)
#define BIOS_WARNING
BIOS_WARNING - Bad configuration.
bool mca_skip_check(void)
void mca_print_error(unsigned int bank)
#define MCAX_STATUS_MSR(bank)
#define MCA_CTL_MASK_MSR(bank)
#define MCAX_SYND_MSR(bank)
#define MCAX_MISC1_MSR(bank)
#define MCAX_MISC2_MSR(bank)
#define MCAX_CONFIG_MSR(bank)
#define MCAX_MISC3_MSR(bank)
#define MCAX_ADDR_MSR(bank)
#define MCAX_DEADDR_MSR(bank)
#define MCAX_IPID_MSR(bank)
#define MCAX_DESTAT_MSR(bank)
#define MCAX_CTL_MSR(bank)
#define MCAX_MISC4_MSR(bank)
#define MCAX_MISC0_MSR(bank)