Searched refs:vm_get_maxcpus (Results 1 – 14 of 14) 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()
154 maxcpus = vm_get_maxcpus(vm); in vmm_fence_add()
83 maxcpus = vm_get_maxcpus(hyp->vm); in vmm_sbi_handle_rfnc()
320 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm)) in vm_alloc_vcpu()412 vm_get_maxcpus(struct vm *vm) in vm_get_maxcpus() function
586 max_count = vm_get_maxcpus(hyp->vm); in aplic_max_cpu_count()
431 for (int i = 0; i < vm_get_maxcpus(vm); i++) { in mpidr_to_vcpu()568 max_count = vm_get_maxcpus(hyp->vm); in vgic_v3_max_cpu_count()602 MPASS(vcpuid < vm_get_maxcpus(hyp->vm)); in vgic_v3_queue_irq()1635 if (vcpuid >= vm_get_maxcpus(hyp->vm)) { in redist_read()1713 if (vcpuid >= vm_get_maxcpus(hyp->vm)) { in redist_write()1818 for (target_vcpuid = 0; target_vcpuid < vm_get_maxcpus(vm); in vgic_v3_icc_sgi1r_write()1901 if (cpu_count > vm_get_maxcpus(vm)) in vgic_v3_attach_to_vm()1947 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(hyp->vm)) in vgic_v3_get_irq()2038 KASSERT(target_vcpu >= 0 && target_vcpu < vm_get_maxcpus(hyp->vm), in vgic_v3_inject_irq()2045 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(hyp->vm)) { in vgic_v3_inject_irq()
134 uint16_t vm_get_maxcpus(struct vm *vm);
837 if (vcpuid < vm_get_maxcpus(vm) && CPU_ISSET(vcpuid, &amask)) in vlapic_calcdest()1125 if (i >= vm_get_maxcpus(vlapic->vm) || in vlapic_icrlo_write_handler()1589 vlapic->vcpuid < vm_get_maxcpus(vlapic->vm), in vlapic_init()1851 maxcpus = vm_get_maxcpus(vm); in vlapic_snapshot()
153 uint16_t vm_get_maxcpus(struct vm *vm);
491 sizeof(struct hypctx *) * vm_get_maxcpus(vm))); in el2_hyp_size()547 KASSERT(vcpuid >= 0 && vcpuid < vm_get_maxcpus(hyp->vm), in vmmops_vcpu_init()1187 maxcpus = vm_get_maxcpus(hyp->vm); in arm_pcpu_vmcleanup()
442 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm)) in vm_alloc_vcpu()534 vm_get_maxcpus(struct vm *vm) in vm_get_maxcpus() function
540 if (vcpuid < 0 || vcpuid >= vm_get_maxcpus(vm)) in vm_alloc_vcpu()635 vm_get_maxcpus(struct vm *vm) in vm_get_maxcpus() function2544 maxcpus = vm_get_maxcpus(vm); in vm_snapshot_vcpus()2598 maxcpus = vm_get_maxcpus(vm); in vm_snapshot_vcpu()2680 maxcpus = vm_get_maxcpus(vm); in vm_restore_time()
116 maxcpus = vm_get_maxcpus(sc->vm); in vcpu_lock_all()145 maxcpus = vm_get_maxcpus(sc->vm); in vcpu_unlock_all()
236 uint16_t vm_get_maxcpus(struct vm *vm);