Constant RTC_CNTL_TIMER_VALUE0_HIGH_V 

pub const RTC_CNTL_TIMER_VALUE0_HIGH_V: u32 = 65535;