prom_startcpu_bycpuid
(void) prom_startcpu_bycpuid(cpuid, (caddr_t)&cpu_startup,
extern int prom_startcpu_bycpuid(int cpuid, caddr_t pc, int arg);
extern int prom_startcpu_bycpuid(int cpuid, caddr_t pc, int arg);