sys/dev/virtual/nvmm/nvmm.c

1000

for (n = 0; n < NVMM_MAX_VCPUS; n++) {

sys/dev/virtual/nvmm/nvmm.c

133

if (cpuid >= NVMM_MAX_VCPUS) {

sys/dev/virtual/nvmm/nvmm.c

173

if (__predict_false(cpuid >= NVMM_MAX_VCPUS)) {

sys/dev/virtual/nvmm/nvmm.c

214

for (j = 0; j < NVMM_MAX_VCPUS; j++) {

sys/dev/virtual/nvmm/nvmm.c

248

args->cap.max_vcpus = NVMM_MAX_VCPUS;

sys/dev/virtual/nvmm/nvmm.c

280

NVMM_MAX_VCPUS * NVMM_COMM_PAGE_SIZE);

sys/dev/virtual/nvmm/nvmm.c

303

for (i = 0; i < NVMM_MAX_VCPUS; i++) {

sys/dev/virtual/nvmm/nvmm.c

981

for (n = 0; n < NVMM_MAX_VCPUS; n++) {

sys/dev/virtual/nvmm/nvmm_internal.h

100

struct nvmm_cpu cpus[NVMM_MAX_VCPUS];

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1018

__SHIFTIN(ilog2(NVMM_MAX_VCPUS), CPUID_8_08_ECX_ApicIdSize);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

681

CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);