Home
last modified time | relevance | path

Searched defs:vpid (Results 1 – 4 of 4) sorted by relevance

/f-stack/freebsd/contrib/ck/include/
H A Dck_barrier.h131 unsigned int vpid; member
156 unsigned int vpid; member
/f-stack/freebsd/amd64/vmm/intel/
H A Dvmx_cpufunc.h176 uint16_t vpid; member
H A Dvmx.h96 uint16_t vpid; member
H A Dvmx.c510 vpid_free(int vpid) in vpid_free()
525 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc()
1022 uint16_t vpid[VM_MAXCPU]; in vmx_init() local