Searched refs:__debug_restore_host_buffers_nvhe (Results 1 – 3 of 3) sorted by relevance
99 void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu) in __debug_restore_host_buffers_nvhe() function
250 __debug_restore_host_buffers_nvhe(vcpu); in __kvm_vcpu_run()
88 void __debug_restore_host_buffers_nvhe(struct kvm_vcpu *vcpu);