Searched refs:__arch_timer_setup (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/drivers/clocksource/
H A Darm_arch_timer.c263 static void __arch_timer_setup(unsigned type, __arch_timer_setup() function
351 __arch_timer_setup(ARCH_CP15_TIMER, clk); arch_timer_setup()
641 __arch_timer_setup(ARCH_MEM_TIMER, &t->evt); arch_timer_mem_register()

Completed in 500 milliseconds