1#include "time32.h"
 2#include <time.h>
 3#include <sched.h>
 4
 5int __sched_rr_get_interval_time32(pid_t pid, struct timespec32 *ts32)
 6{
 7	struct timespec ts;
 8	int r = sched_rr_get_interval(pid, &ts);
 9	if (r) return r;
10	ts32->tv_sec = ts.tv_sec;
11	ts32->tv_nsec = ts.tv_nsec;
12	return r;
13}