Symbol: gemini_global_reset
sys/arch/evbarm/gemini/gemini_machdep.c
260
static void gemini_global_reset(void) __attribute__ ((noreturn));
sys/arch/evbarm/gemini/gemini_machdep.c
358
gemini_global_reset();
sys/arch/evbarm/gemini/gemini_machdep.c
399
gemini_global_reset();