Constant XTENSA_HWVERSION_RE_2012_0 

pub const XTENSA_HWVERSION_RE_2012_0: u32 = 250000;