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