Symbol: booke_cpu_startup
sys/arch/evbppc/mpc85xx/machdep.c
1436
booke_cpu_startup(socname(mfspr(SPR_SVR)));
sys/arch/powerpc/include/booke/cpuvar.h
164
void booke_cpu_startup(const char *); /* model name */