19 #include <mach/common.h>
20 #include <mach/hardware.h>
35 asm(
"mrc p15, 4, %0, c15, c0, 0" :
"=r" (base));
44 static void __cpuinit imx_secondary_init(
unsigned int cpu)
65 static void __init imx_smp_init_cpus(
void)
71 for (i = 0; i < ncores; i++)
82 static void __init imx_smp_prepare_cpus(
unsigned int max_cpus)
88 .smp_init_cpus = imx_smp_init_cpus,
89 .smp_prepare_cpus = imx_smp_prepare_cpus,
90 .smp_secondary_init = imx_secondary_init,
91 .smp_boot_secondary = imx_boot_secondary,
92 #ifdef CONFIG_HOTPLUG_CPU