Constant UMTX_OP_SET_CEILING 

pub const UMTX_OP_SET_CEILING: c_int = 7;