Searched refs:redist0_count (Results 1 – 3 of 3) sorted by relevance
435 uint32_t redist0_capacity, redist0_count; in create_gic() local453 redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic()456 qlist_append_int(redist_region_count, redist0_count); in create_gic()
812 uint32_t redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic() local817 qlist_append_int(redist_region_count, redist0_count); in create_gic()823 MIN(smp_cpus - redist0_count, redist1_capacity)); in create_gic()
256 uint32_t redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic() local259 qlist_append_int(redist_region_count, redist0_count); in create_gic()