Searched refs:powertv_clocksource_init (Results 1 – 3 of 3) sorted by relevance
24 extern void powertv_clocksource_init(void);
35 powertv_clocksource_init(); in plat_time_init()
176 void __init powertv_clocksource_init(void) in powertv_clocksource_init() function