vpid02 245 arch/x86/kvm/vmx/nested.c free_vpid(vmx->nested.vpid02); vpid02 1038 arch/x86/kvm/vmx/nested.c (nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02); vpid02 1045 arch/x86/kvm/vmx/nested.c return vmx->nested.vpid02 ? vmx->nested.vpid02 : vmx->vpid; vpid02 2037 arch/x86/kvm/vmx/nested.c if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02) vpid02 2038 arch/x86/kvm/vmx/nested.c vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02); vpid02 4399 arch/x86/kvm/vmx/nested.c vmx->nested.vpid02 = allocate_vpid(); vpid02 4969 arch/x86/kvm/vmx/nested.c u16 vpid02; vpid02 5005 arch/x86/kvm/vmx/nested.c vpid02 = nested_get_vpid02(vcpu); vpid02 5014 arch/x86/kvm/vmx/nested.c vpid02, operand.gla); vpid02 5016 arch/x86/kvm/vmx/nested.c __vmx_flush_tlb(vcpu, vpid02, false); vpid02 5023 arch/x86/kvm/vmx/nested.c __vmx_flush_tlb(vcpu, vpid02, false); vpid02 5026 arch/x86/kvm/vmx/nested.c __vmx_flush_tlb(vcpu, vpid02, false); vpid02 170 arch/x86/kvm/vmx/vmx.h u16 vpid02;