gcpu_xpv_mci_process
gcpu_xpv_mci_process(*mcip,
gcpu_xpv_mci_process(&gcpu_mce_data, types[i],
gcpu_xpv_mci_process(&gcpu_xpv_polldata, types[i],
extern void gcpu_xpv_mci_process(mc_info_t *, int, cmi_mca_regs_t *, size_t);