Constant RTC_CNTL_TIMER_VALUE0_HIGH 

pub const RTC_CNTL_TIMER_VALUE0_HIGH: u32 = 65535;