int timer_getoverrun(timer_t id) { if ( __likely(!TIMER_ID_IS_WRAPPED(id)) ) { return __timer_getoverrun( id ); } else { thr_timer_t* timer = thr_timer_from_id(id); int result; if (timer == NULL) { errno = EINVAL; return -1; } thr_timer_lock(timer); result = timer->overruns; thr_timer_unlock(timer); return result; } }
// http://pubs.opengroup.org/onlinepubs/9699919799/functions/timer_getoverrun.html int timer_getoverrun(timer_t id) { return __timer_getoverrun(to_kernel_timer_id(id)); }