Searched refs:hw_counter_get_value (Results 1 – 5 of 5) sorted by relevance
33 int64_t current_value = hw_counter_get_value(); in schedule_next_isr()58 uint32_t current_value = hw_counter_get_value(); in counter_isr()117 *ticks = hw_counter_get_value(); in ctr_get_value()147 uint32_t current_value = hw_counter_get_value(); in ctr_set_top_value()196 uint32_t current_value = hw_counter_get_value(); in ctr_set_alarm()
29 uint64_t hw_counter_get_value(void);
25 uint64_t hw_counter_get_value(void);
105 uint64_t hw_counter_get_value(void) in hw_counter_get_value() function
109 uint64_t hw_counter_get_value(void) in hw_counter_get_value() function
