Constant k_objects_K_OBJ_FUTEX 

pub const k_objects_K_OBJ_FUTEX: u32 = 15; // 15u32