Searched defs:vpid (Results 1 – 4 of 4) sorted by relevance
388 vpid_free(int vpid) in vpid_free()403 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc()698 uint16_t vpid[VM_MAXCPU]; in vmx_vminit() local916 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