| /* |
| * timer-getoverr.c - get the timer overrun count. |
| */ |
| |
| #include <errno.h> |
| #include <time.h> |
| #include <sys/syscall.h> |
| |
| #include "kernel-posix-timers.h" |
| |
| #ifdef __NR_timer_getoverrun |
| |
| #define __NR___syscall_timer_getoverrun __NR_timer_getoverrun |
| static __inline__ _syscall1(int, __syscall_timer_getoverrun, kernel_timer_t, |
| ktimerid); |
| |
| /* Get the timer overrun count */ |
| int timer_getoverrun(timer_t timerid) |
| { |
| struct timer *kt = (struct timer *)timerid; |
| |
| /* Get the information from the kernel */ |
| return __syscall_timer_getoverrun(kt->ktimerid); |
| } |
| |
| #endif |