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