| <assertions> |
| <assertion id="1" tag="ref:XSH6:{System Interfaces:sched_getscheduler:DESCRIPTION}"> |
| When pid = 0, the scheduling policy is returned for the calling process |
| </assertion> |
| <assertion id="2" tag="ref:XSH6:{System Interfaces:sched_getscheduler:DESCRIPTION}"> |
| If pid is negative, the behavior is unspecified |
| </assertion> |
| <assertion id="3" tag="ref:XSH6:{System Interfaces:sched_getscheduler:DESCRIPTION}"> |
| The values that can be returned by sched_getscheduler() are defined in the |
| sched.h header |
| </assertion> |
| <assertion id="4" tag="ref:XSH6:{System Interfaces:sched_getscheduler:RETURN VALUE}"> |
| sched_getscheduler() returns the scheduling policy of the specified process |
| on success |
| </assertion> |
| <assertion id="5" tag="ref:XSH6:{System Interfaces:sched_getscheduler:RETURN VALUE}"> |
| sched_getscheduler() returns -1 on failure |
| </assertion> |
| <assertion id="6" tag="ref:XSH6:{System Interfaces:sched_getscheduler:ERRORS}"> |
| sched_getscheduler() sets errno == ESRCH if the pid cannot be found |
| </assertion> |
| <assertion id="7" tag="ref:XSH6:{System Interfaces:sched_getscheduler:ERRORS}"> |
| sched_getscheduler() sets errno == EPERM if the requesting process does not |
| have permission |
| </assertion> |
| </assertions> |