Searched refs:hw_timer_awake_timer (Results 1 – 2 of 2) sorted by relevance
70 uint64_t hw_timer_awake_timer; variable129 hw_timer_timer = MIN(hw_timer_tick_timer, hw_timer_awake_timer); in hwtimer_update_timer()153 hw_timer_awake_timer = NEVER; in hwtimer_init()232 hw_timer_awake_timer = NEVER; in hwtimer_awake_timer_reached()241 if (hw_timer_awake_timer == Now) { in hwtimer_timer_reached()260 if (hw_timer_awake_timer > time) { in hwtimer_wake_in_time()261 hw_timer_awake_timer = time; in hwtimer_wake_in_time()
65 static uint64_t hw_timer_awake_timer; variable117 hw_timer_timer = NSI_MIN(hw_timer_tick_timer, hw_timer_awake_timer); in hwtimer_update_timer()146 hw_timer_awake_timer = NSI_NEVER; in hwtimer_init()222 hw_timer_awake_timer = NSI_NEVER; in hwtimer_awake_timer_reached()231 if (hw_timer_awake_timer == Now) { in hwtimer_timer_reached()252 if (hw_timer_awake_timer > time) { in hwtimer_wake_in_time()253 hw_timer_awake_timer = time; in hwtimer_wake_in_time()
