sys/dev/nvmm/nvmm.c

1055

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

sys/dev/nvmm/nvmm.c

1081

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

sys/dev/nvmm/nvmm.c

134

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

sys/dev/nvmm/nvmm.c

1415

for (i = 0; i < NVMM_MAX_MACHINES; i++)

sys/dev/nvmm/nvmm.c

1446

for (i = 0; i < NVMM_MAX_MACHINES; i++)

sys/dev/nvmm/nvmm.c

169

if (__predict_false(machid >= NVMM_MAX_MACHINES)) {

sys/dev/nvmm/nvmm.c

267

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

sys/dev/nvmm/nvmm.c

309

args->cap.max_machines = NVMM_MAX_MACHINES;

sys/dev/nvmm/nvmm.c

59

static struct nvmm_machine machines[NVMM_MAX_MACHINES];

sys/dev/nvmm/x86/nvmm_x86_vmx.c

648

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