Constant MBEDTLS_CTR_DRBG_RESEED_INTERVAL

pub const MBEDTLS_CTR_DRBG_RESEED_INTERVAL: u32 = 10000;