12 void timer_hal_init(timer_hal_context_t *hal, uint32_t group_num, uint32_t timer_num)  in timer_hal_init()  argument
14     hal->dev = TIMER_LL_GET_HW(group_num);  in timer_hal_init()
15     hal->timer_id = timer_num;  in timer_hal_init()
17     timer_ll_enable_clock(hal->dev, timer_num, true);  in timer_hal_init()
19     timer_ll_enable_counter(hal->dev, timer_num, false);  in timer_hal_init()
20     timer_ll_enable_auto_reload(hal->dev, timer_num, false);  in timer_hal_init()
21     timer_ll_enable_alarm(hal->dev, timer_num, false);  in timer_hal_init()
24     timer_ll_enable_etm(hal->dev, true);  in timer_hal_init()
28 void timer_hal_deinit(timer_hal_context_t *hal)  in timer_hal_deinit()  argument
31     timer_ll_enable_clock(hal->dev, hal->timer_id, false);  in timer_hal_deinit()
33     timer_ll_enable_counter(hal->dev, hal->timer_id, false);  in timer_hal_deinit()
34     timer_ll_enable_auto_reload(hal->dev, hal->timer_id, false);  in timer_hal_deinit()
35     timer_ll_enable_alarm(hal->dev, hal->timer_id, false);  in timer_hal_deinit()
37     timer_ll_enable_etm(hal->dev, false);  in timer_hal_deinit()
39     hal->dev = NULL;  in timer_hal_deinit()
42 void timer_hal_set_counter_value(timer_hal_context_t *hal, uint64_t load_val)  in timer_hal_set_counter_value()  argument
51     uint64_t old_reload = timer_ll_get_reload_value(hal->dev, hal->timer_id);  in timer_hal_set_counter_value()
52     timer_ll_set_reload_value(hal->dev, hal->timer_id, load_val);  in timer_hal_set_counter_value()
53     timer_ll_trigger_soft_reload(hal->dev, hal->timer_id);  in timer_hal_set_counter_value()
55     timer_ll_set_reload_value(hal->dev, hal->timer_id, old_reload);  in timer_hal_set_counter_value()
58 uint64_t timer_hal_capture_and_get_counter_value(timer_hal_context_t *hal)  in timer_hal_capture_and_get_counter_value()  argument
60     timer_ll_trigger_soft_capture(hal->dev, hal->timer_id);  in timer_hal_capture_and_get_counter_value()
61     return timer_ll_get_counter_value(hal->dev, hal->timer_id);  in timer_hal_capture_and_get_counter_value()