esp_idf_sys

Constant RTCIO_GPIO4_CHANNEL

Source 
pub const RTCIO_GPIO4_CHANNEL: u32 = 10;