HYPERVISOR_mca
return (HYPERVISOR_mca(XEN_MC_msrinject, &xmc) ==
(void) HYPERVISOR_mca(XEN_MC_mceinject, &xmc);
if ((err = HYPERVISOR_mca(XEN_MC_fetch, &xmc)) != 0) {
(void) HYPERVISOR_mca(XEN_MC_fetch, &xmc);
if (HYPERVISOR_mca(XEN_MC_physcpuinfo, &xmc) != 0)
extern long HYPERVISOR_mca(uint32_t, xen_mc_t *);