Constant k_objects_K_OBJ_FUTEX

pub const k_objects_K_OBJ_FUTEX: k_objects = 15;