Symbol: pmu_counter_idx_valid
arch/arm64/kvm/sys_regs.c
1169
if (!pmu_counter_idx_valid(vcpu, idx))
arch/arm64/kvm/sys_regs.c
1207
if (!pmu_counter_idx_valid(vcpu, idx))