Searched refs:gic_clockevent_cpu_init (Results 1 – 1 of 1) sorted by relevance
87 static void gic_clockevent_cpu_init(unsigned int cpu, in gic_clockevent_cpu_init() function118 gic_clockevent_cpu_init(cpu, this_cpu_ptr(&gic_clockevent_device)); in gic_starting_cpu()