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