esp_idf_sys

Constant RTCIO_CHANNEL_13_GPIO_NUM

Source 
pub const RTCIO_CHANNEL_13_GPIO_NUM: u32 = 15;