esp_idf_sys

Constant XTENSA_SWVERSION_7_1_2

Source 
pub const XTENSA_SWVERSION_7_1_2: u32 = 701002;