esp_idf_sys

Constant SOC_DEBUG_HIGH

Source 
pub const SOC_DEBUG_HIGH: u32 = 671088640;