Searched refs:vr41xx_get_tclock_frequency (Results 1 – 3 of 3) sorted by relevance
64 unsigned long vr41xx_get_tclock_frequency(void) in vr41xx_get_tclock_frequency() function69 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);