Searched refs:vpid_alloc (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/intel/
H A Dvmx.c525 vpid_alloc(uint16_t *vpid, int num) function
1090 vpid_alloc(vpid, VM_MAXCPU);

Completed in 62 milliseconds