esp_idf_sys

Constant RTCIO_CHANNEL_4_GPIO_NUM

Source 
pub const RTCIO_CHANNEL_4_GPIO_NUM: u32 = 34;