Constant RTC_CNTL_TIMER_VALUE1_HIGH_V 

pub const RTC_CNTL_TIMER_VALUE1_HIGH_V: u32 = 65535;