UMTX_OP_SET_CEILING
return (_umtx_op_err(mtx, UMTX_OP_SET_CEILING, ceiling, oldceiling, 0));
[UMTX_OP_SET_CEILING] = __umtx_op_set_ceiling,