Searched refs:to_kernel_timer_id (Results 1 – 1 of 1) sorted by relevance
69 static __kernel_timer_t to_kernel_timer_id(timer_t timer) { in to_kernel_timer_id() function177 snprintf(name, sizeof(name), "POSIX timer %d", to_kernel_timer_id(timer)); in timer_create()186 int rc = __timer_delete(to_kernel_timer_id(id)); in timer_delete()205 return __timer_gettime(to_kernel_timer_id(id), ts); in timer_gettime()220 return __timer_getoverrun(to_kernel_timer_id(id)); in timer_getoverrun()