Searched refs:gic_clocksource_init (Results 1 – 3 of 3) sorted by relevance
211 gic_clocksource_init(gic_frequency); in plat_time_init()
142 void __init gic_clocksource_init(unsigned int frequency) in gic_clocksource_init() function
243 extern void gic_clocksource_init(unsigned int);