Searched refs:vmx_reload_guest_debugctl (Results 1 – 3 of 3) sorted by relevance
419 static inline void vmx_reload_guest_debugctl(struct kvm_vcpu *vcpu) in vmx_reload_guest_debugctl() function
4959 vmx_reload_guest_debugctl(vcpu); in nested_vmx_restore_host_state()
7656 vmx_reload_guest_debugctl(vcpu); in vmx_vcpu_run()