[PATCH 4/6] ARM: highbank: add SMP support

On Tue, Aug 16, 2011 at 03:34:56PM -0500, Rob Herring wrote:

+int __cpuinit boot_secondary(unsigned int cpu, struct task_struct *idle)
+{
+	gic_raise_softirq(cpumask_of(cpu), 1);

Can this raise IPI0 instead of IPI1 ?

+void __init smp_init_cpus(void)
+{
+	void __iomem *scu_base = a9_base_addr;
+	unsigned int i, ncores;
+
+	ncores = scu_base ? scu_get_core_count(scu_base) : 1;

Is scu_base ever NULL?