Lines Matching defs:vpid
517 vpid_free(int vpid)
519 if (vpid < 0 || vpid > 0xffff)
520 panic("vpid_free: invalid vpid %d", vpid);
527 if (vpid > vm_maxcpu)
528 free_unr(vpid_unr, vpid);
537 * If the "enable vpid" execution control is not enabled then the
1136 uint16_t vpid;
1139 vpid = vpid_alloc(vcpuid);
1179 error += vmwrite(VMCS_VPID, vpid);
1227 vcpu->state.vpid = vpid;
1280 static VMM_STAT_INTEL(VCPU_INVVPID_SAVED, "Number of vpid invalidations saved");
1281 static VMM_STAT_INTEL(VCPU_INVVPID_DONE, "Number of vpid invalidations done");
1284 * Invalidate guest mappings identified by its vpid from the TLB.
1293 if (vmxstate->vpid == 0)
1301 * vpid the next time it runs via vmx_set_pcpu_defaults().
1311 * Invalidate all mappings tagged with 'vpid'
1315 * mappings associated with its 'vpid' during that run. So we must
1316 * assume that the mappings associated with 'vpid' on 'curcpu' are
1322 * Note also that this will invalidate mappings tagged with 'vpid'
1328 invvpid_desc.vpid = vmxstate->vpid;
3245 vpid_free(vcpu->state.vpid);