Symbol: kvm_vcpu_put_debug
arch/arm64/include/asm/kvm_host.h
1410
void kvm_vcpu_put_debug(struct kvm_vcpu *vcpu);
arch/arm64/kvm/arm.c
717
kvm_vcpu_put_debug(vcpu);