esp_idf_sys

Constant RTC_CNTL_TIMER_VALUE1_HIGH_V

Source 
pub const RTC_CNTL_TIMER_VALUE1_HIGH_V: u32 = 65535;