1<assertions>
2  <assertion id="1" tag="ref:XSH6:33838:33844">
3   The function
4
5   int pthread_mutexattr_getprioceiling(const pthread_mutexattr_t *restrict mutex, 
6	int *restrict prioceiling);
7
8  returns the current prioceiling of the mutex.
9  </assertion>  
10  <assertion id="2" tag="ref:XSH6:33853:33854">
11  Upon success, it returns 0, and stores the value of the prioceiling in 'prioceiling'.
12  </assertion>
13  <assertion id="3" tag="ref:XSH6:33855:33860">
14  It MAY fail if:
15
16  [EINVAL] - The priority requested by 'prioceiling' is out of range
17  [EINVAL] - 'mutex' doesn't refer to an existing mutex
18  [EPERM] - The caller doesn't have the privilege to perform the operation.
19
20  </assertion>
21</assertions>
22