Searched defs:vpid (Results 1 – 5 of 5) sorted by relevance
131 unsigned int vpid; member156 unsigned int vpid; member
176 uint16_t vpid; member
96 uint16_t vpid; member
502 vpid_free(int vpid) in vpid_free()517 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc()1031 uint16_t vpid[VM_MAXCPU]; in vmx_vminit() local
2102 uint64_t vpid; in main() local