esp_idf_sys

Constant SOC_CACHE_PRO_HIGH

Source 
pub const SOC_CACHE_PRO_HIGH: u32 = 1074233344;