#include "syscalls.h"

syscall(sched_setscheduler,sched_setscheduler)
