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,
)Expand description
Reseed the DRBG.
@param a Hash algorithm to use. (Value must match the value used in Hacl_HMAC_DRBG_create_in.)
@param st Pointer to DRBG state.
@param entropy_input_len Length of entropy input.
@param entropy_input Pointer to entropy_input_len bytes of memory where entropy input is read from.
@param additional_input_input_len Length of additional input.
@param additional_input_input Pointer to additional_input_input_len bytes of memory where additional input is read from.