Symbol: time_init
sys/arch/evbarm/stand/boot2440/main.c
297
void time_init(uint32_t pclk)
sys/kern/kern_time.c
129
time_init(void)