cfe_cpu_stop
cfe_cpu_stop(int cpu)
#define cfe_cpu_stop(a) __cfe_cpu_stop(a)
cfe_cpu_stop(int cpu)
#define cfe_cpu_stop(a) __cfe_cpu_stop(a)
cfe_cpu_stop(int cpu)
#define cfe_cpu_stop(a) __cfe_cpu_stop(a)