Symbol: ve_spc_cpu_in_wfi
arch/arm/mach-versatile/spc.h
16
int ve_spc_cpu_in_wfi(u32 cpu, u32 cluster);
arch/arm/mach-versatile/tc2_pm.c
145
ve_spc_cpu_in_wfi(cpu, cluster))