
#include <sysdep.h>

/*
**  int sched_setparam(pid_t pid, const struct sched_param *param);
**  int sched_getparam(pid_t pid, const struct sched_param *param);
**  int sched_setscheduler(pid_t pid, int policy, const struct sched_param *param);
**  int sched_getscheduler(pid_t pid);
**  int sched_yield(void);
**  int sched_get_priority_max(int policy);
**  int sched_get_priority_min(int policy);
**  int sched_rr_get_interval(pid_t pid, struct timeval *interval);
*/
#ifdef SETPARAM
SYSCALL (sched_setparam, 2)
#endif


#ifdef GETPARAM
SYSCALL (sched_getparam, 2)
#endif


#ifdef SETSCHED
SYSCALL (sched_setscheduler, 3)
#endif


#ifdef GETSCHED
SYSCALL (sched_getscheduler, 1)
#endif

#ifdef YIELD
SYSCALL (sched_yield, 0)
#endif

#ifdef PRI_MAX
SYSCALL (sched_get_priority_max, 1)
#endif

#ifdef PRI_MIN
SYSCALL (sched_get_priority_min, 1)
#endif

#ifdef RR_INTERVAL
SYSCALL (sched_rr_get_interval, 2)
#endif

/* for all */

	ret;
