xen_read_pmc     1033 arch/x86/xen/enlighten_pv.c 	.read_pmc = xen_read_pmc,
xen_read_pmc       19 arch/x86/xen/pmu.h unsigned long long xen_read_pmc(int counter);