123456789101112131415161718192021222324252627 |
- /*
- * timer_gettime.c - get the timer value.
- */
- #include <errno.h>
- #include <stdlib.h>
- #include <time.h>
- #include <sys/syscall.h>
- #include "kernel-posix-timers.h"
- #ifdef __NR_timer_gettime
- #define __NR___syscall_timer_gettime __NR_timer_gettime
- static inline _syscall2(int, __syscall_timer_gettime, kernel_timer_t, ktimerid,
- void *, value);
- /* Get the amount of time left on a timer */
- int timer_gettime(timer_t timerid, struct itimerspec *value)
- {
- struct timer *kt = (struct timer *)timerid;
- /* Get timeout from the kernel */
- return __syscall_timer_gettime(kt->ktimerid, value);
- }
- #endif
|