Searched refs:timer_time_us_32 (Results 1 – 2 of 2) sorted by relevance
40 uint32_t current = timer_time_us_32(timer_hw_from_timer(timer)); in ta_set_timeout()57 uint32_t current = timer_time_us_32(timer_hw_from_timer(timer)); in ta_wakes_up_on_or_before()
202 static inline uint32_t timer_time_us_32(timer_hw_t *timer) { in timer_time_us_32() function216 return timer_time_us_32(PICO_DEFAULT_TIMER_INSTANCE()); in time_us_32()
