Symbol: pkvm_put_hyp_vcpu
arch/arm64/kvm/hyp/include/nvhe/pkvm.h
80
void pkvm_put_hyp_vcpu(struct pkvm_hyp_vcpu *hyp_vcpu);
arch/arm64/kvm/hyp/nvhe/hyp-main.c
198
pkvm_put_hyp_vcpu(hyp_vcpu);