Searched refs:vpid02 (Results 1 – 1 of 1) sorted by relevance
431 u16 vpid02; member6868 free_vpid(vmx->nested.vpid02); in free_nested()7432 __vmx_flush_tlb(vcpu, to_vmx(vcpu)->nested.vpid02); in handle_invvpid()8815 vmx->nested.vpid02 = allocate_vpid(); in vmx_create_vcpu()8837 free_vpid(vmx->nested.vpid02); in vmx_create_vcpu()9730 if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02) { in prepare_vmcs02()9731 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02); in prepare_vmcs02()9734 __vmx_flush_tlb(vcpu, to_vmx(vcpu)->nested.vpid02); in prepare_vmcs02()