2017-04-27 20:29:35 +00:00
|
|
|
#if !defined ISO && !defined ISO99 && !defined ISO11 && !defined XPG4 && !defined XPG42
|
2013-09-25 00:51:42 +00:00
|
|
|
# if defined POSIX || defined UNIX98
|
|
|
|
|
# include "time.h-data"
|
|
|
|
|
# else
|
|
|
|
|
allow-header time.h
|
|
|
|
|
# endif
|
|
|
|
|
|
1999-08-25 23:53:55 +00:00
|
|
|
type {struct sched_param}
|
|
|
|
|
element {struct sched_param} int sched_priority
|
2013-09-25 00:51:42 +00:00
|
|
|
# if !defined POSIX && !defined UNIX98
|
2001-01-27 05:30:29 +00:00
|
|
|
optional-element {struct sched_param} int sched_ss_low_priority
|
|
|
|
|
optional-element {struct sched_param} {struct timespec} sched_ss_repl_period
|
|
|
|
|
optional-element {struct sched_param} {struct timespec} sched_ss_init_budget
|
|
|
|
|
optional-element {struct sched_param} int sched_ss_max_repl
|
2013-09-25 00:51:42 +00:00
|
|
|
# endif
|
1999-08-25 23:53:55 +00:00
|
|
|
|
2010-01-09 18:56:41 +00:00
|
|
|
# if defined XOPEN2K8 || defined POSIX2008
|
|
|
|
|
type pid_t
|
|
|
|
|
type time_t
|
|
|
|
|
type {struct timespec}
|
|
|
|
|
# endif
|
|
|
|
|
|
1999-08-25 23:53:55 +00:00
|
|
|
constant SCHED_FIFO
|
|
|
|
|
constant SCHED_RR
|
2013-09-25 00:51:42 +00:00
|
|
|
# if !defined POSIX && !defined UNIX98
|
2001-01-27 05:30:29 +00:00
|
|
|
optional-constant SCHED_SPORADIC
|
2013-09-25 00:51:42 +00:00
|
|
|
# endif
|
1999-08-25 23:53:55 +00:00
|
|
|
constant SCHED_OTHER
|
|
|
|
|
|
|
|
|
|
function int sched_get_priority_max (int)
|
|
|
|
|
function int sched_get_priority_min (int)
|
|
|
|
|
function int sched_getparam (pid_t, struct sched_param*)
|
|
|
|
|
function int sched_getscheduler (pid_t)
|
|
|
|
|
function int sched_rr_get_interval (pid_t, struct timespec*)
|
|
|
|
|
function int sched_setparam (pid_t, const struct sched_param*)
|
|
|
|
|
function int sched_setscheduler (pid_t, int, const struct sched_param*)
|
|
|
|
|
function int sched_yield (void)
|
|
|
|
|
|
|
|
|
|
allow sched_*
|
|
|
|
|
allow SCHED_*
|
1999-08-26 00:13:21 +00:00
|
|
|
allow *_t
|
1999-08-25 23:53:55 +00:00
|
|
|
#endif
|
