Constant RTC_CNTL_DEBUG_SEL4 

pub const RTC_CNTL_DEBUG_SEL4: u32 = 31;