Symbol: xen_read_pmc
arch/x86/xen/enlighten_pv.c
1376
pv_ops.cpu.read_pmc = xen_read_pmc;
arch/x86/xen/xen-ops.h
275
u64 xen_read_pmc(int counter);