Constant SMT_UNPARKING_POLICY_LP_SEQUENTIAL

pub const SMT_UNPARKING_POLICY_LP_SEQUENTIAL: u32 = 3u32;