Constant _CMP_GE_OS

Source
pub const _CMP_GE_OS: u32 = 13;