Searched refs:redist0_capacity (Results 1 – 3 of 3) sorted by relevance
204 uint32_t redist0_capacity = virt_redist_capacity(vms, VIRT_GIC_REDIST); in virt_gicv3_redist_region_count() local208 return (MACHINE(vms)->smp.cpus > redist0_capacity && in virt_gicv3_redist_region_count()
434 uint32_t redist0_capacity, redist0_count; in create_gic() local450 redist0_capacity = in create_gic()452 redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic()
789 uint32_t redist0_capacity = virt_redist_capacity(vms, VIRT_GIC_REDIST); in create_gic() local790 uint32_t redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic()