x86_mcinfo_next   279 drivers/xen/mcelog.c 		mic = x86_mcinfo_next(mic);
x86_mcinfo_next   253 include/xen/interface/xen-mca.h 		mic = x86_mcinfo_next(mic);