cfe_cpu_start
status = cfe_cpu_start(ci->ci_cpuid, cpu_trampoline,
int cfe_cpu_start(int cpu, void (*fn)(void), long sp, long gp, long a1);
int cfe_cpu_start(int cpu, void (*fn)(void), long sp, long gp, long a1);
status = cfe_cpu_start(ci->ci_cpuid, cpu_trampoline,
int cfe_cpu_start(int cpu, void (*fn)(void), long sp, long gp, long a1);