Searched defs:vpid (Results 1 – 4 of 4) sorted by relevance
386 vpid_free(int vpid) in vpid_free()401 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc()688 uint16_t vpid[VM_MAXCPU]; in vmx_vminit() local906 uint16_t vpid; member
96 uint16_t vpid; member
292 hma_vmx_vpid_free(uint16_t vpid) in hma_vmx_vpid_free()
2073 uint64_t vpid; in main() local