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