/* * 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