linux_raw_sys::general

Constant FUTEX_OP_CMP_LE

source 
pub const FUTEX_OP_CMP_LE: u32 = 3;