Searched refs:cmsdk_apb_timer_tick (Results 1 – 1 of 1) sorted by relevance
183 static void cmsdk_apb_timer_tick(void *opaque) in cmsdk_apb_timer_tick() function238 s->timer = ptimer_init(cmsdk_apb_timer_tick, s, in cmsdk_apb_timer_realize()