#include "syscalls.h"

syscall(sched_rr_get_interval,sched_rr_get_interval)
