Searched defs:timer_ticks (Results 1 – 1 of 1) sorted by relevance
16 uint32_t timer_ticks = 0; in generic_timer_start() local48 uint32_t timer_ticks = 0; in generic_timer_handler() local