Constant esp_idf_bindgen::RTCIO_GPIO15_CHANNEL

pub const RTCIO_GPIO15_CHANNEL: u32 = 13;