xen_mce_work      343 drivers/xen/mcelog.c static DECLARE_WORK(xen_mce_work, xen_mce_work_fn);
xen_mce_work      347 drivers/xen/mcelog.c 	schedule_work(&xen_mce_work);