sys/amd64/vmm/io/vlapic.c

1126

if (i >= vm_get_maxcpus(vlapic->vm) ||

sys/amd64/vmm/io/vlapic.c

1590

vlapic->vcpuid < vm_get_maxcpus(vlapic->vm),

sys/amd64/vmm/io/vlapic.c

1852

maxcpus = vm_get_maxcpus(vm);

sys/amd64/vmm/io/vlapic.c

838

if (vcpuid < vm_get_maxcpus(vm) && CPU_ISSET(vcpuid, &amask))

sys/amd64/vmm/vmm.c

1955

maxcpus = vm_get_maxcpus(vm);

sys/amd64/vmm/vmm.c

2009

maxcpus = vm_get_maxcpus(vm);

sys/amd64/vmm/vmm.c

2091

maxcpus = vm_get_maxcpus(vm);

sys/amd64/vmm/vmm.c

344

if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm))

sys/arm64/vmm/io/vgic_v3.c

1636

if (vcpuid >= vm_get_maxcpus(hyp->vm)) {

sys/arm64/vmm/io/vgic_v3.c

1714

if (vcpuid >= vm_get_maxcpus(hyp->vm)) {

sys/arm64/vmm/io/vgic_v3.c

1819

for (target_vcpuid = 0; target_vcpuid < vm_get_maxcpus(vm);

sys/arm64/vmm/io/vgic_v3.c

1902

if (cpu_count > vm_get_maxcpus(vm))

sys/arm64/vmm/io/vgic_v3.c

1948

if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(hyp->vm))

sys/arm64/vmm/io/vgic_v3.c

2039

KASSERT(target_vcpu >= 0 && target_vcpu < vm_get_maxcpus(hyp->vm),

sys/arm64/vmm/io/vgic_v3.c

2046

if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(hyp->vm)) {

sys/arm64/vmm/io/vgic_v3.c

432

for (int i = 0; i < vm_get_maxcpus(vm); i++) {

sys/arm64/vmm/io/vgic_v3.c

569

max_count = vm_get_maxcpus(hyp->vm);

sys/arm64/vmm/io/vgic_v3.c

603

MPASS(vcpuid < vm_get_maxcpus(hyp->vm));

sys/arm64/vmm/vmm.c

289

if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm))

sys/arm64/vmm/vmm_arm64.c

1202

maxcpus = vm_get_maxcpus(hyp->vm);

sys/arm64/vmm/vmm_arm64.c

485

sizeof(struct hypctx *) * vm_get_maxcpus(vm)));

sys/arm64/vmm/vmm_arm64.c

562

KASSERT(vcpuid >= 0 && vcpuid < vm_get_maxcpus(hyp->vm),

sys/dev/vmm/vmm_dev.c

168

maxcpus = vm_get_maxcpus(sc->vm);

sys/dev/vmm/vmm_vm.h

177

uint16_t vm_get_maxcpus(struct vm *vm);

sys/riscv/vmm/vmm.c

178

if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm))

sys/riscv/vmm/vmm_fence.c

157

maxcpus = vm_get_maxcpus(vm);

sys/riscv/vmm/vmm_riscv.c

130

sizeof(struct hypctx *) * vm_get_maxcpus(vm));

sys/riscv/vmm/vmm_riscv.c

208

KASSERT(vcpuid >= 0 && vcpuid < vm_get_maxcpus(hyp->vm),

sys/riscv/vmm/vmm_riscv.c

546

maxcpus = vm_get_maxcpus(hyp->vm);

sys/riscv/vmm/vmm_riscv.c

733

maxcpus = vm_get_maxcpus(hyp->vm);

sys/riscv/vmm/vmm_sbi.c

85

maxcpus = vm_get_maxcpus(hyp->vm);