esp_idf_sys

Constant portNUM_PROCESSORS

Source 
pub const portNUM_PROCESSORS: u32 = 1;