mc_info_t
DEFINE_XEN_GUEST_HANDLE(mc_info_t);
XEN_GUEST_HANDLE(mc_info_t) data;
gcpu_xpv_mci_process(mc_info_t *mi, int type,
gcpu_xpv_telem_read(mc_info_t *mci, int type, uint64_t *idp)
mc_info_t gcpu_mce_data;
extern int *gcpu_xpv_telem_read(mc_info_t *, int, uint64_t *);
extern void gcpu_xpv_mci_process(mc_info_t *, int, cmi_mca_regs_t *, size_t);
static mc_info_t gcpu_xpv_polldata;