Symbol: XEN_MC_URGENT
drivers/xen/mcelog.c
304
flags == XEN_MC_URGENT ? "" : "non");
drivers/xen/mcelog.c
336
err = mc_queue_handle(XEN_MC_URGENT);