Constant UMTX_OP_RW_WRLOCK 

pub const UMTX_OP_RW_WRLOCK: c_int = 13;