Symbol: nested_vmx_transition_tlb_flush
arch/x86/kvm/vmx/nested.c
2826
nested_vmx_transition_tlb_flush(vcpu, vmcs12, true);
arch/x86/kvm/vmx/nested.c
4832
nested_vmx_transition_tlb_flush(vcpu, vmcs12, false);