Symbol: kvm_mediated_pmu_put
arch/x86/kvm/pmu.h
262
void kvm_mediated_pmu_put(struct kvm_vcpu *vcpu);
arch/x86/kvm/x86.c
11413
kvm_mediated_pmu_put(vcpu);