Searched refs:__debug_restore_host_buffers_nvhe (Results 1 – 3 of 3) sorted by relevance
97 void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu) in __debug_restore_host_buffers_nvhe() function
370 __debug_restore_host_buffers_nvhe(vcpu); in __kvm_vcpu_run()
109 void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu);