Searched refs:redist0_count (Results 1 – 2 of 2) 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()
808 uint32_t redist0_count = MIN(smp_cpus, redist0_capacity); in create_gic() local813 qlist_append_int(redist_region_count, redist0_count); in create_gic()819 MIN(smp_cpus - redist0_count, redist1_capacity)); in create_gic()