38 static systimer_hal_context_t systimer_hal;  variable
42 	systimer_hal_select_alarm_mode(&systimer_hal,  in set_systimer_alarm()
47 	systimer_ll_enable_alarm(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0, false);  in set_systimer_alarm()
48 	systimer_ll_set_alarm_target(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0, alarm.val);  in set_systimer_alarm()
49 	systimer_ll_apply_alarm_value(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0);  in set_systimer_alarm()
50 	systimer_ll_enable_alarm(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0, true);  in set_systimer_alarm()
51 	systimer_ll_enable_alarm_int(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0, true);  in set_systimer_alarm()
56 	return systimer_hal_get_counter_value(&systimer_hal, SYSTIMER_COUNTER_OS_TICK);  in get_systimer_alarm()
62 	systimer_ll_clear_alarm_int(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0);  in sys_timer_isr()
139 	systimer_ll_enable_alarm(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0, false);  in sys_clock_disable()
140 	systimer_ll_enable_alarm_int(systimer_hal.dev, SYSTIMER_ALARM_OS_TICK_CORE0, false);  in sys_clock_disable()
141 	systimer_hal_deinit(&systimer_hal);  in sys_clock_disable()
159 	systimer_hal_init(&systimer_hal);  in sys_clock_driver_init()
160 	systimer_hal_connect_alarm_counter(&systimer_hal,  in sys_clock_driver_init()
163 	systimer_hal_enable_counter(&systimer_hal, SYSTIMER_COUNTER_OS_TICK);  in sys_clock_driver_init()
164 	systimer_hal_counter_can_stall_by_cpu(&systimer_hal, SYSTIMER_COUNTER_OS_TICK, 0, true);  in sys_clock_driver_init()