<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>
