Searched refs:nested_vmx_update_pending_dbg (Results 1 – 1 of 1) sorted by relevance
3765 static void nested_vmx_update_pending_dbg(struct kvm_vcpu *vcpu) in nested_vmx_update_pending_dbg() function3798 nested_vmx_update_pending_dbg(vcpu); in vmx_check_nested_events()3819 nested_vmx_update_pending_dbg(vcpu); in vmx_check_nested_events()
