Symbol: mcinfo_bank
drivers/xen/mcelog.c
220
struct mcinfo_bank *mc_bank;
drivers/xen/mcelog.c
276
mc_bank = (struct mcinfo_bank *)mic;