Symbol: kvm_pmu_set_counter_value_user
arch/arm64/kvm/sys_regs.c
1127
kvm_pmu_set_counter_value_user(vcpu, idx, val);
include/kvm/arm_pmu.h
44
void kvm_pmu_set_counter_value_user(struct kvm_vcpu *vcpu, u64 select_idx, u64 val);