esp_idf_sys

Constant CONFIG_ESP_SLEEP_GPIO_RESET_WORKAROUND

Source 
pub const CONFIG_ESP_SLEEP_GPIO_RESET_WORKAROUND: u32 = 1;