Searched refs:vr41xx_get_tclock_frequency (Results 1 – 3 of 3) sorted by relevance
52 unsigned long vr41xx_get_tclock_frequency(void) in vr41xx_get_tclock_frequency() function57 EXPORT_SYMBOL_GPL(vr41xx_get_tclock_frequency);
32 tclock = vr41xx_get_tclock_frequency(); in plat_time_init()
46 extern unsigned long vr41xx_get_tclock_frequency(void);