Symbol: __debug_restore_host_buffers_nvhe
arch/arm64/include/asm/kvm_hyp.h
112
void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu);
arch/arm64/kvm/hyp/nvhe/switch.c
342
__debug_restore_host_buffers_nvhe(vcpu);