sched_rr_get_interval
SYSCALL_DEFINE2(sched_rr_get_interval, pid_t, pid,
int retval = sched_rr_get_interval(pid, &t);