arm_fdt_cpu_mpstart
ret = arm_fdt_cpu_mpstart();
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
int arm_fdt_cpu_mpstart(void);
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
return arm_fdt_cpu_mpstart();
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,
.fp_mpstart = arm_fdt_cpu_mpstart,