28 static void __cpuinit highbank_secondary_init(
unsigned int cpu)
43 static void __init highbank_smp_init_cpus(
void)
45 unsigned int i, ncores;
52 "highbank: no. of cores (%d) greater than configured "
53 "maximum of %d - clipping\n",
58 for (i = 0; i < ncores; i++)
64 static void __init highbank_smp_prepare_cpus(
unsigned int max_cpus)
76 for (i = 1; i < max_cpus; i++)
81 .smp_init_cpus = highbank_smp_init_cpus,
82 .smp_prepare_cpus = highbank_smp_prepare_cpus,
83 .smp_secondary_init = highbank_secondary_init,
84 .smp_boot_secondary = highbank_boot_secondary,
85 #ifdef CONFIG_HOTPLUG_CPU