Searched refs:os_timer_done (Results 1 – 3 of 3) sorted by relevance
126 void os_timer_done(ETSTimer *ptimer) __attribute__((alias("ets_timer_done")));
404 static inline void os_timer_done(void *ptimer) in os_timer_done() function
410 os_timer_done(&eloop.eloop_timer); in eloop_destroy()
