Searched refs:hw_timer_timer (Results 1 – 3 of 3) sorted by relevance
31 extern uint64_t hw_timer_timer; /* When should this timer_model be called */44 &hw_timer_timer,
67 uint64_t hw_timer_timer; variable129 hw_timer_timer = MIN(hw_timer_tick_timer, hw_timer_awake_timer); in hwtimer_update_timer()239 uint64_t Now = hw_timer_timer; in hwtimer_timer_reached()
62 static uint64_t hw_timer_timer; /* Event timer exposed to the HW scheduler */ variable117 hw_timer_timer = NSI_MIN(hw_timer_tick_timer, hw_timer_awake_timer); in hwtimer_update_timer()229 uint64_t Now = hw_timer_timer; in hwtimer_timer_reached()240 NSI_HW_EVENT(hw_timer_timer, hwtimer_timer_reached, 0);
