Searched defs:vpid (Results 1 - 5 of 5) sorted by relevance
| /freebsd-11-stable/sys/amd64/vmm/intel/ | ||
| H A D | vmx_cpufunc.h | 174 uint16_t vpid; member in struct:invvpid_desc |
| H A D | vmx.h | 93 uint16_t vpid; member in struct:vmxstate |
| H A D | vmx.c | 477 vpid_free(int vpid) argument 492 vpid_alloc(uint16_t *vpid, int num) argument 950 uint16_t vpid[VM_MAXCPU]; local [all...] |
| /freebsd-11-stable/sys/contrib/ck/include/ | ||
| H A D | ck_barrier.h | 131 unsigned int vpid; member in struct:ck_barrier_tournament_state 156 unsigned int vpid; member in struct:ck_barrier_mcs_state |
| /freebsd-11-stable/usr.sbin/bhyvectl/ | ||
| H A D | bhyvectl.c | 2098 uint64_t vpid; local |
Completed in 85 milliseconds