Home
last modified time | relevance | path

Searched refs:vpid (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/uts/intel/io/vmm/intel/
H A Dvmx.c385 vpid_free(int vpid) in vpid_free() argument
387 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() local
899 vmx->state[i].vpid = vpid[i]; in vmx_vminit()
913 uint16_t vpid; member
[all …]
H A Dvmx.h93 uint16_t vpid; member
/illumos-gate/usr/src/uts/intel/os/
H A Dhma.c222 hma_vmx_vpid_free(uint16_t vpid) in hma_vmx_vpid_free() argument
224 VERIFY(vpid > HMA_VPID_RESERVED); in hma_vmx_vpid_free()
225 id_free(hma_vmx_vpid, (id_t)vpid); in hma_vmx_vpid_free()
/illumos-gate/usr/src/cmd/bhyvectl/
H A Dbhyvectl.c2195 uint64_t vpid; in main() local
2197 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()