Home
last modified time | relevance | path

Searched refs:timer_time_us_64 (Results 1 – 3 of 3) sorted by relevance

/hal_rpi_pico-latest/src/rp2_common/hardware_timer/
Dtimer.c57 uint64_t timer_time_us_64(timer_hw_t *timer) { in timer_time_us_64() function
91 uint64_t base = timer_time_us_64(timer); in timer_busy_wait_us()
126 return timer_time_us_64(PICO_DEFAULT_TIMER_INSTANCE()); in time_us_64()
217 uint64_t now = timer_time_us_64(timer); in timer_hardware_alarm_set_target()
240 if (timer_time_us_64(timer) >= t) { in timer_hardware_alarm_set_target()
/hal_rpi_pico-latest/src/rp2_common/pico_time_adapter/include/pico/
Dtime_adapter.h64 return timer_time_us_64(timer_hw_from_timer(timer)); in ta_time_us_64()
/hal_rpi_pico-latest/src/rp2_common/hardware_timer/include/hardware/
Dtimer.h230 uint64_t timer_time_us_64(timer_hw_t *timer);