Symbol: kvm_vcpu_put_vhe
arch/arm64/include/asm/kvm_host.h
1489
void kvm_vcpu_put_vhe(struct kvm_vcpu *vcpu);
arch/arm64/kvm/arm.c
756
kvm_vcpu_put_vhe(vcpu);