ve_spc_set_resume_addr   14 arch/arm/mach-vexpress/spc.h void ve_spc_set_resume_addr(u32 cluster, u32 cpu, u32 addr);
ve_spc_set_resume_addr   53 arch/arm/mach-vexpress/tc2_pm.c 	ve_spc_set_resume_addr(cluster, cpu,
ve_spc_set_resume_addr  159 arch/arm/mach-vexpress/tc2_pm.c 	ve_spc_set_resume_addr(cluster, cpu, __pa_symbol(mcpm_entry_point));
ve_spc_set_resume_addr  167 arch/arm/mach-vexpress/tc2_pm.c 	ve_spc_set_resume_addr(cluster, cpu, 0);