Constant esp_idf_sys::SOC_DEBUG_HIGH

pub const SOC_DEBUG_HIGH: u32 = 671088640;