TC2_CLUSTERS
BUG_ON(cluster >= TC2_CLUSTERS || cpu >= TC2_MAX_CPUS_PER_CLUSTER);
BUG_ON(cluster >= TC2_CLUSTERS || cpu >= TC2_MAX_CPUS_PER_CLUSTER);
BUG_ON(cluster >= TC2_CLUSTERS);
if (a15_cluster_id >= TC2_CLUSTERS || a7_cluster_id >= TC2_CLUSTERS)
if (cluster >= TC2_CLUSTERS || cpu >= tc2_nr_cpus[cluster]) {
static unsigned int tc2_nr_cpus[TC2_CLUSTERS];
if (cluster >= TC2_CLUSTERS || cpu >= tc2_nr_cpus[cluster])
if (cluster >= TC2_CLUSTERS)
BUG_ON(cluster >= TC2_CLUSTERS || cpu >= TC2_MAX_CPUS_PER_CLUSTER);
BUG_ON(cluster >= TC2_CLUSTERS);