esp_idf_sys

Constant RTCIO_CHANNEL_5_GPIO_NUM

Source 
pub const RTCIO_CHANNEL_5_GPIO_NUM: u32 = 35;