Searched refs:vm_get_maxcpus (Results 1 – 12 of 12) sorted by relevance
130 sizeof(struct hypctx *) * vm_get_maxcpus(vm)); in vmmops_init()208 KASSERT(vcpuid >= 0 && vcpuid < vm_get_maxcpus(hyp->vm), in vmmops_vcpu_init()546 maxcpus = vm_get_maxcpus(hyp->vm); in riscv_send_ipi()733 maxcpus = vm_get_maxcpus(hyp->vm); in riscv_pcpu_vmcleanup()
157 maxcpus = vm_get_maxcpus(vm); in vmm_fence_add()
85 maxcpus = vm_get_maxcpus(hyp->vm); in vmm_sbi_handle_rfnc()
178 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm)) in vm_alloc_vcpu()
432 for (int i = 0; i < vm_get_maxcpus(vm); i++) { in mpidr_to_vcpu()569 max_count = vm_get_maxcpus(hyp->vm); in vgic_v3_max_cpu_count()603 MPASS(vcpuid < vm_get_maxcpus(hyp->vm)); in vgic_v3_queue_irq()1636 if (vcpuid >= vm_get_maxcpus(hyp->vm)) { in redist_read()1714 if (vcpuid >= vm_get_maxcpus(hyp->vm)) { in redist_write()1819 for (target_vcpuid = 0; target_vcpuid < vm_get_maxcpus(vm); in vgic_v3_icc_sgi1r_write()1902 if (cpu_count > vm_get_maxcpus(vm)) in vgic_v3_attach_to_vm()1948 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(hyp->vm)) in vgic_v3_get_irq()2039 KASSERT(target_vcpu >= 0 && target_vcpu < vm_get_maxcpus(hyp->vm), in vgic_v3_inject_irq()2046 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(hyp->vm)) { in vgic_v3_inject_irq()
177 uint16_t vm_get_maxcpus(struct vm *vm);
347 vm_get_maxcpus(struct vm *vm) in vm_get_maxcpus() function
168 maxcpus = vm_get_maxcpus(sc->vm); in vcpu_unlock_all()
838 if (vcpuid < vm_get_maxcpus(vm) && CPU_ISSET(vcpuid, &amask)) in vlapic_calcdest()1126 if (i >= vm_get_maxcpus(vlapic->vm) || in vlapic_icrlo_write_handler()1590 vlapic->vcpuid < vm_get_maxcpus(vlapic->vm), in vlapic_init()1852 maxcpus = vm_get_maxcpus(vm); in vlapic_snapshot()
487 sizeof(struct hypctx *) * vm_get_maxcpus(vm))); in el2_hyp_size()564 KASSERT(vcpuid >= 0 && vcpuid < vm_get_maxcpus(hyp->vm), in vmmops_vcpu_init()1204 maxcpus = vm_get_maxcpus(hyp->vm); in arm_pcpu_vmcleanup()
289 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm)) in vm_alloc_vcpu()
344 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm)) in vm_alloc_vcpu()1955 maxcpus = vm_get_maxcpus(vm); in vm_snapshot_vcpus()2009 maxcpus = vm_get_maxcpus(vm); in vm_snapshot_vcpu()2091 maxcpus = vm_get_maxcpus(vm); in vm_restore_time()