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()388 panic("vpid_free: invalid vpid %d", vpid); in vpid_free()395 if (vpid > VM_MAXCPU) in vpid_free()396 hma_vmx_vpid_free((uint16_t)vpid); in vpid_free()400 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc() argument413 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()[all …]
93 uint16_t vpid; member
292 hma_vmx_vpid_free(uint16_t vpid) in hma_vmx_vpid_free() argument294 VERIFY(vpid > HMA_VPID_RESERVED); in hma_vmx_vpid_free()295 id_free(hma_vmx_vpid, (id_t)vpid); in hma_vmx_vpid_free()
2073 uint64_t vpid; in main() local2075 error = vm_get_vmcs_field(vcpu, VMCS_VPID, &vpid); in main()2078 4, &vpid); in main()2081 cpu_intel ? "vpid" : "asid", vcpu, vpid); in main()