| lh | 9ed821d | 2023-04-07 01:36:19 -0700 | [diff] [blame^] | 1 | /* |
| 2 | * timer-getoverr.c - get the timer overrun count. |
| 3 | */ |
| 4 | |
| 5 | #include <errno.h> |
| 6 | #include <time.h> |
| 7 | #include <sys/syscall.h> |
| 8 | |
| 9 | #include "kernel-posix-timers.h" |
| 10 | |
| 11 | #ifdef __NR_timer_getoverrun |
| 12 | |
| 13 | #define __NR___syscall_timer_getoverrun __NR_timer_getoverrun |
| 14 | static __inline__ _syscall1(int, __syscall_timer_getoverrun, kernel_timer_t, |
| 15 | ktimerid); |
| 16 | |
| 17 | /* Get the timer overrun count */ |
| 18 | int timer_getoverrun(timer_t timerid) |
| 19 | { |
| 20 | struct timer *kt = (struct timer *)timerid; |
| 21 | |
| 22 | /* Get the information from the kernel */ |
| 23 | return __syscall_timer_getoverrun(kt->ktimerid); |
| 24 | } |
| 25 | |
| 26 | #endif |