Searched refs:hal_timer_read (Results 1 – 3 of 3) sorted by relevance
109 uint32_t hal_timer_read(int timer_num);
123 cpu_time = hal_timer_read(MYNEWT_VAL(OS_CPUTIME_TIMER_NUM)); in os_cputime_get32()
659 hal_timer_read(int timer_num) in hal_timer_read() function696 until = hal_timer_read(timer_num) + ticks; in hal_timer_delay()697 while ((int32_t)(hal_timer_read(timer_num) - until) <= 0) { in hal_timer_delay()