Constant SMT_UNPARKING_POLICY_CORE

pub const SMT_UNPARKING_POLICY_CORE: u32 = 0u32;