Hacl_HMAC_DRBG_reseed

evercrypt_tiny_sys

Function Hacl_HMAC_DRBG_reseed 

Source 
pub unsafe extern "C" fn Hacl_HMAC_DRBG_reseed(
    a: Spec_Hash_Definitions_hash_alg,
    st: Hacl_HMAC_DRBG_state,
    entropy_input_len: u32,
    entropy_input: *mut u8,
    additional_input_input_len: u32,
    additional_input_input: *mut u8,
)