hw_cpu_boot_secondary
void hw_cpu_boot_secondary(struct cpu_info *);
#define cpu_boot_secondary(ci) hw_cpu_boot_secondary(ci)