Symbol: gemini_cpu1_start
sys/arch/evbarm/gemini/gemini_machdep.c
261
static void gemini_cpu1_start(void);
sys/arch/evbarm/gemini/gemini_machdep.c
552
gemini_cpu1_start();