Searched defs:vpid (Results 1 – 4 of 4) sorted by relevance
385 vpid_free(int vpid) in vpid_free()400 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc()695 uint16_t vpid[VM_MAXCPU]; in vmx_vminit() local913 uint16_t vpid; member
93 uint16_t vpid; member
222 hma_vmx_vpid_free(uint16_t vpid) in hma_vmx_vpid_free()
2195 uint64_t vpid; in main() local