ve_spc_init        11 arch/arm/mach-vexpress/spc.h int __init ve_spc_init(void __iomem *base, u32 a15_clusid, int irq);
ve_spc_init       237 arch/arm/mach-vexpress/tc2_pm.c 	ret = ve_spc_init(scc + SPC_BASE, a15_cluster_id, irq);