src/add-ons/kernel/drivers/nvmm/nvmm.c

1012

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

1031

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

138

if (cpuid >= NVMM_MAX_VCPUS) {

src/add-ons/kernel/drivers/nvmm/nvmm.c

180

if (__predict_false(cpuid >= NVMM_MAX_VCPUS)) {

src/add-ons/kernel/drivers/nvmm/nvmm.c

221

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

255

args->cap.max_vcpus = NVMM_MAX_VCPUS;

src/add-ons/kernel/drivers/nvmm/nvmm.c

287

NVMM_MAX_VCPUS * NVMM_COMM_PAGE_SIZE);

src/add-ons/kernel/drivers/nvmm/nvmm.c

310

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

src/add-ons/kernel/drivers/nvmm/nvmm_internal.h

102

struct nvmm_cpu cpus[NVMM_MAX_VCPUS];

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1016

__SHIFTIN(ilog2(NVMM_MAX_VCPUS), CPUID_8_08_ECX_ApicIdSize);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

664

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

src/libs/nvmm/driver/nvmm.c

1012

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

src/libs/nvmm/driver/nvmm.c

1031

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

src/libs/nvmm/driver/nvmm.c

138

if (cpuid >= NVMM_MAX_VCPUS) {

src/libs/nvmm/driver/nvmm.c

180

if (__predict_false(cpuid >= NVMM_MAX_VCPUS)) {

src/libs/nvmm/driver/nvmm.c

221

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

src/libs/nvmm/driver/nvmm.c

255

args->cap.max_vcpus = NVMM_MAX_VCPUS;

src/libs/nvmm/driver/nvmm.c

287

NVMM_MAX_VCPUS * NVMM_COMM_PAGE_SIZE);

src/libs/nvmm/driver/nvmm.c

310

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

src/libs/nvmm/driver/nvmm_internal.h

102

struct nvmm_cpu cpus[NVMM_MAX_VCPUS];

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1016

__SHIFTIN(ilog2(NVMM_MAX_VCPUS), CPUID_8_08_ECX_ApicIdSize);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

664

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