Searched refs:nested_vmx_transition_tlb_flush (Results 1 – 1 of 1) sorted by relevance
1122 static void nested_vmx_transition_tlb_flush(struct kvm_vcpu *vcpu, in nested_vmx_transition_tlb_flush() function2560 nested_vmx_transition_tlb_flush(vcpu, vmcs12, true); in prepare_vmcs02()4468 nested_vmx_transition_tlb_flush(vcpu, vmcs12, false); in load_vmcs12_host_state()