Symbol: __debug_save_host_buffers_nvhe
arch/arm64/include/asm/kvm_hyp.h
111
void __debug_save_host_buffers_nvhe(struct kvm_vcpu *vcpu);
arch/arm64/kvm/hyp/nvhe/switch.c
275
__debug_save_host_buffers_nvhe(vcpu);