Function pthread_mutexattr_setprioceiling

fn pthread_mutexattr_setprioceiling()

See the module comment.