esp_idf_hal::sys

Constant ETS_GPIO_INUM

Source 
pub const ETS_GPIO_INUM: u32 = 4; // 4u32