| <assertions> |
| <assertion id="1" tag="ref:XSH7 "> |
| The pthread_mutexattr_getprioceiling() function returns the current prioceiling of the mutex. |
| </assertion> |
| <assertion id="2" tag="ref:XSH7 "> |
| If successful, the pthread_mutex_getprioceiling() function shall return zero; otherwise, an error number shall be returned to indicate the error. |
| </assertion> |
| <assertion id="3" tag="ref:XSH7 "> |
| The pthread_mutex_setprioceiling() function shall fail if: |
| i. [EINVAL] |
| The protocol attribute of mutex is PTHREAD_PRIO_NONE. |
| ii. [EPERM] |
| The implementation requires appropriate privileges to perform the operation and the caller does not have appropriate privileges. |
| </assertion> |
| <assertion id="5" tag="ref:XSH7 "> |
| These functions shall not return an error code of [EINTR]. |
| </assertion> |
| </assertions> |