#include #include #include "syscall.h" int sched_getscheduler(pid_t pid) { return __syscall_ret(-ENOSYS); }