Searched refs:vc_vpid (Results 1 – 2 of 2) sorted by relevance
1653 vmcb->v_asid = vcpu->vc_vpid; in vcpu_reset_regs_svm()2207 if (vmwrite(VMCS_GUEST_VPID, vcpu->vc_vpid)) { in vcpu_reset_regs_vmx()2506 if (vmm_alloc_vpid(&vcpu->vc_vpid)) in vcpu_init_vmx()2768 if (vmm_alloc_vpid(&vcpu->vc_vpid)) in vcpu_init_svm()2857 vcp->vcp_asid[vcpu->vc_id] = vcpu->vc_vpid; in vcpu_init_svm()2878 vcpu->vc_vpid = 0; in vcpu_init()2931 vmm_free_vpid(vcpu->vc_vpid); in vcpu_deinit_vmx()2966 vmm_free_vpid(vcpu->vc_vpid); in vcpu_deinit_svm()3801 vid.vid_vpid = vcpu->vc_vpid; in vcpu_run_vmx()5100 vid.vid_vpid = vcpu->vc_vpid; in vmx_handle_cr0_write()
818 uint16_t vc_vpid; /* [I] */ member