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

[Russell King - ARM Linux]

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?