esp_idf_hal::sys

Constant MBEDTLS_CTR_DRBG_RESEED_INTERVAL

Source 
pub const MBEDTLS_CTR_DRBG_RESEED_INTERVAL: u32 = 10000; // 10_000u32