XEN_MC_URGENT     297 drivers/xen/mcelog.c 			       flags == XEN_MC_URGENT ? "" : "non");
XEN_MC_URGENT     329 drivers/xen/mcelog.c 	err = mc_queue_handle(XEN_MC_URGENT);