2 * timer-getoverr.c - get the timer overrun count.
7 #include <sys/syscall.h>
9 #include "kernel-posix-timers.h"
11 #ifdef __NR_timer_getoverrun
13 #define __NR___syscall_timer_getoverrun __NR_timer_getoverrun
14 static __inline__
_syscall1(int, __syscall_timer_getoverrun
, kernel_timer_t
,
17 /* Get the timer overrun count */
18 int timer_getoverrun(timer_t timerid
)
20 struct timer
*kt
= (struct timer
*)timerid
;
22 /* Get the information from the kernel */
23 return __syscall_timer_getoverrun(kt
->ktimerid
);