Searched refs:vpid (Results 1 – 4 of 4) sorted by relevance
385 vpid_free(int vpid) in vpid_free() argument387 if (vpid < 0 || vpid > 0xffff) in vpid_free()395 if (vpid > VM_MAXCPU) in vpid_free()413 vpid[i] = 0; in vpid_alloc()429 vpid[i] = x; in vpid_alloc()447 vpid_free(vpid[i]); in vpid_alloc()450 vpid[i] = i + 1; in vpid_alloc()695 uint16_t vpid[VM_MAXCPU]; in vmx_vminit() local899 vmx->state[i].vpid = vpid[i]; in vmx_vminit()913 uint16_t vpid; member[all …]
93 uint16_t vpid; member
222 hma_vmx_vpid_free(uint16_t vpid) in hma_vmx_vpid_free() argument224 VERIFY(vpid > HMA_VPID_RESERVED); in hma_vmx_vpid_free()225 id_free(hma_vmx_vpid, (id_t)vpid); in hma_vmx_vpid_free()
2195 uint64_t vpid; in main() local2197 error = vm_get_vmcs_field(vcpu, VMCS_VPID, &vpid); in main()2200 4, &vpid); in main()2203 cpu_intel ? "vpid" : "asid", vcpu, vpid); in main()