esp_idf_sys

Constant RTC_CNTL_DEBUG_SEL4

Source 
pub const RTC_CNTL_DEBUG_SEL4: u32 = 31;