Searched refs:redist0_count (Results 1 – 2 of 2) sorted by relevance
440 uint32_t redist0_capacity, redist0_count; in create_gic() local458 redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic()461 qlist_append_int(redist_region_count, redist0_count); in create_gic()
760 uint32_t redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic() local765 qlist_append_int(redist_region_count, redist0_count); in create_gic()771 MIN(smp_cpus - redist0_count, redist1_capacity)); in create_gic()