#include "time32.h"
#include <time.h>
#include <sys/timerfd.h>

int __timerfd_gettime32(int t, struct itimerspec32 *val32)
{
	struct itimerspec old;
	int r = timerfd_gettime(t, &old);
	if (r) return r;
	/* No range checking for consistency with settime */
	val32->it_interval.tv_sec = old.it_interval.tv_sec;
	val32->it_interval.tv_nsec = old.it_interval.tv_nsec;
	val32->it_value.tv_sec = old.it_value.tv_sec;
	val32->it_value.tv_nsec = old.it_value.tv_nsec;
	return 0;
}