esp_idf_sys

Constant GPIO_PIN_COUNT

Source 
pub const GPIO_PIN_COUNT: u32 = 40;