NVMM_MAX_VCPUS
for (n = 0; n < NVMM_MAX_VCPUS; n++) {
for (n = 0; n < NVMM_MAX_VCPUS; n++) {
if (__predict_false(cpuid >= NVMM_MAX_VCPUS))
for (cpuid = 0; cpuid < NVMM_MAX_VCPUS; cpuid++)
for (cpuid = 0; cpuid < NVMM_MAX_VCPUS; cpuid++)
if (cpuid >= NVMM_MAX_VCPUS) {
if (__predict_false(cpuid >= NVMM_MAX_VCPUS)) {
for (j = 0; j < NVMM_MAX_VCPUS; j++) {
args->cap.max_vcpus = NVMM_MAX_VCPUS;
mach->commuobj = uao_create(NVMM_MAX_VCPUS * PAGE_SIZE, 0);
for (i = 0; i < NVMM_MAX_VCPUS; i++) {
struct nvmm_cpu cpus[NVMM_MAX_VCPUS];
CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);