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 */
timer_getoverrun(timer_t timerid)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
27