| 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_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
 |