g_mi               56 drivers/xen/mcelog.c static struct mc_info g_mi;
g_mi              291 drivers/xen/mcelog.c 	set_xen_guest_handle(mc_op.u.mc_fetch.data, &g_mi);
g_mi              305 drivers/xen/mcelog.c 			ret = convert_log(&g_mi);