Constant k_objects_K_OBJ_MUTEX 

pub const k_objects_K_OBJ_MUTEX: k_objects = 3;