cpu_init_secondary_processor
void cpu_init_secondary_processor(int);
void cpu_init_secondary_processor(u_int);