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