Searched refs:__arch_timer_setup (Results 1 – 1 of 1) sorted by relevance
852 static void __arch_timer_setup(unsigned type, in __arch_timer_setup() function1007 __arch_timer_setup(ARCH_TIMER_TYPE_CP15, clk); in arch_timer_starting_cpu()1297 __arch_timer_setup(ARCH_TIMER_TYPE_MEM, &arch_timer_mem->evt); in arch_timer_mem_register()
