Searched refs:__debug_restore_host_buffers_nvhe (Results 1 – 3 of 3) sorted by relevance
110 void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu) in __debug_restore_host_buffers_nvhe() function
383 __debug_restore_host_buffers_nvhe(vcpu); in __kvm_vcpu_run()
111 void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu);