ve_spc_cpu_in_wfi   16 arch/arm/mach-vexpress/spc.h int ve_spc_cpu_in_wfi(u32 cpu, u32 cluster);
ve_spc_cpu_in_wfi  147 arch/arm/mach-vexpress/tc2_pm.c 		    ve_spc_cpu_in_wfi(cpu, cluster))