#include "syscalls.h"

syscall(sched_getparam,sched_getparam)