Searched refs:to_kernel_timer_id (Results 1 – 1 of 1) sorted by relevance
72 static __kernel_timer_t to_kernel_timer_id(timer_t timer) { in to_kernel_timer_id() function88 snprintf(name, sizeof(name), "POSIX timer %d", to_kernel_timer_id(timer)); in __timer_thread_start()206 int rc = __timer_delete(to_kernel_timer_id(id)); in timer_delete()225 return __timer_gettime(to_kernel_timer_id(id), ts); in timer_gettime()240 return __timer_getoverrun(to_kernel_timer_id(id)); in timer_getoverrun()