Home
last modified time | relevance | path

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

/freebsd/sys/contrib/ck/include/
H A Dck_barrier.h131 unsigned int vpid; member
156 unsigned int vpid; member
/freebsd/sys/amd64/vmm/intel/
H A Dvmx_cpufunc.h173 uint16_t vpid; member
H A Dvmx.h99 uint16_t vpid; member
H A Dvmx.c519 vpid_free(int vpid) in vpid_free()
1138 uint16_t vpid; in vmx_vcpu_init() local