Searched refs:hw_counter_get_value (Results 1 – 3 of 3) sorted by relevance
39 int64_t current_value = hw_counter_get_value(); in schedule_next_isr()64 uint32_t current_value = hw_counter_get_value(); in counter_isr()123 *ticks = hw_counter_get_value(); in ctr_get_value()153 uint32_t current_value = hw_counter_get_value(); in ctr_set_top_value()203 uint32_t current_value = hw_counter_get_value(); in ctr_set_alarm()
29 uint64_t hw_counter_get_value(void);
109 uint64_t hw_counter_get_value(void) in hw_counter_get_value() function
