nested_has_guest_tlb_tag 2365 arch/x86/kvm/vmx/nested.c 		if (nested_cpu_has_vpid(vmcs12) && nested_has_guest_tlb_tag(vcpu)) {
nested_has_guest_tlb_tag 3856 arch/x86/kvm/vmx/nested.c 	    (!nested_cpu_has_vpid(vmcs12) || !nested_has_guest_tlb_tag(vcpu))) {