Constant esp_idf_sys::RTC_CNTL_TIMER_VALUE1_HIGH

pub const RTC_CNTL_TIMER_VALUE1_HIGH: u32 = 65535;