Searched refs:systimer_ll_set_counter_value (Results 1 – 6 of 6) sorted by relevance
85 systimer_ll_set_counter_value(systimer_hal.dev, SYSTIMER_LL_COUNTER_OS_TICK, 0); in vPortSetupTimer()
72 __attribute__((always_inline)) static inline void systimer_ll_set_counter_value(systimer_dev_t *dev… in systimer_ll_set_counter_value() function
115 systimer_ll_set_counter_value(hal->dev, counter_id, new_count.val); in systimer_hal_counter_value_advance()
69 __attribute__((always_inline)) static inline void systimer_ll_set_counter_value(systimer_dev_t *dev… in systimer_ll_set_counter_value() function
73 __attribute__((always_inline)) static inline void systimer_ll_set_counter_value(systimer_dev_t *dev… in systimer_ll_set_counter_value() function