Searched refs:vr41xx_get_tclock_frequency (Results 1 – 3 of 3) sorted by relevance
65 unsigned long vr41xx_get_tclock_frequency(void) in vr41xx_get_tclock_frequency() function70 EXPORT_SYMBOL_GPL(vr41xx_get_tclock_frequency);
45 tclock = vr41xx_get_tclock_frequency(); in plat_time_init()
50 extern unsigned long vr41xx_get_tclock_frequency(void);
