__debug_restore_host_buffers_nvhe
void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu);
__debug_restore_host_buffers_nvhe(vcpu);