Searched defs:vpid (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/sys/kern/ | ||
| H A D | vfs_cache.c | 144 u_long vpid; in cache_lookup() local |
| H A D | vfs_getcwd.c | 214 int error, vpid; in vfs_getcwd_getcache() local |
| /openbsd-src/sys/arch/amd64/amd64/ | ||
| H A D | vmm_machdep.c | 2265 uint16_t ctrl, vpid; vcpu_reset_regs_vmx() local |