Symbol: MC_TYPE_GLOBAL
drivers/xen/mcelog.c
225
x86_mcinfo_lookup(&mic, mi, MC_TYPE_GLOBAL);
drivers/xen/mcelog.c
269
(mic->type != MC_TYPE_GLOBAL &&