blob: 8dc9bf4dd8b0df9428a2d68f1003572ac5bd6387 [file] [log] [blame]
<assertions>
<assertion id="1" tag="ref:XSH6:34307:34308">
The function
int pthread_mutexattr_getprioceiling(const pthread_mutexattr_t *restrict attr,
int *restrict prioceiling);
Gets the priority ceiling attribute of a mutexattr object (which was prev. created
by the function pthread_mutexattr_init()).
</assertion>
<assertion id="2" tag="ref:XSH6:34323:34326">
Upon success, it returns 0, and stores the value of the prioceiling in 'prioceiling'.
</assertion>
<assertion id="3" tag="ref:XSH6:34327:34331">
It MAY fail if:
[EINVAL] - 'attr' or 'prioceiling' is invalid.
[EPERM] - The caller doesn't have the privilege to perform the operation.
Shall not return an error code of [EINTR]
</assertion>
</assertions>