Searched refs:redist1_capacity (Results 1 – 1 of 1) sorted by relevance
767 uint32_t redist1_capacity = in create_gic() local771 MIN(smp_cpus - redist0_count, redist1_capacity)); in create_gic()