Searched refs:__arch_timer_setup (Results 1 – 1 of 1) sorted by relevance
255 static void __arch_timer_setup(unsigned type, in __arch_timer_setup() function343 __arch_timer_setup(ARCH_CP15_TIMER, clk); in arch_timer_setup()633 __arch_timer_setup(ARCH_MEM_TIMER, &t->evt); in arch_timer_mem_register()