GPIO_PIN_COUNT

esp_idf_sys

Constant GPIO_PIN_COUNT 

Source 
pub const GPIO_PIN_COUNT: u32 = 40;