Symbol: gemini_microtime_init
sys/arch/arm/gemini/gemini_timervar.h
68
extern void gemini_microtime_init(void);
sys/arch/arm/gemini/obio_timer.c
269
gemini_microtime_init();