void ivb_decode_model(int cputype, int bank, u64 status, u64 misc);
void ivy_bridge_ep_memerr_misc(struct mce *m, int *channel, int *dimm);