pmselr_el0        403 arch/arm64/kernel/perf_event.c 	write_sysreg(counter, pmselr_el0);
pmselr_el0         83 arch/arm64/kvm/hyp/switch.c 	write_sysreg(0, pmselr_el0);