Searched refs:vmx_reload_guest_debugctl (Results 1 – 2 of 2) sorted by relevance
420 static inline void vmx_reload_guest_debugctl(struct kvm_vcpu *vcpu) in vmx_reload_guest_debugctl() function
7544 vmx_reload_guest_debugctl(vcpu); in vmx_vcpu_run()