Searched refs:deliver_alarm (Results 1 – 4 of 4) sorted by relevance
116 deliver_alarm(); in os_idle_sleep()
118 void deliver_alarm(void) { in deliver_alarm() function
311 deliver_alarm(); in time_travel_periodic_timer()404 deliver_alarm(); in time_travel_oneshot_timer()
243 extern void deliver_alarm(void);
