#include "syscalls.h"

syscall(sched_getscheduler,sched_getscheduler)