esp_idf_sys

Constant RTCIO_CHANNEL_12_GPIO_NUM

Source 
pub const RTCIO_CHANNEL_12_GPIO_NUM: u32 = 2;