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