esp_idf_sys

Constant gpio_num_t_GPIO_NUM_MAX

Source 
pub const gpio_num_t_GPIO_NUM_MAX: gpio_num_t = 40;