Function hacl_sys::Hacl_HMAC_DRBG_instantiate

pub unsafe extern "C" fn Hacl_HMAC_DRBG_instantiate(
    a: Spec_Hash_Definitions_hash_alg,
    st: Hacl_HMAC_DRBG_state,
    entropy_input_len: u32,
    entropy_input: *mut u8,
    nonce_len: u32,
    nonce: *mut u8,
    personalization_string_len: u32,
    personalization_string: *mut u8
)

Instantiate 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 nonce_len Length of nonce. @param nonce Pointer to nonce_len bytes of memory where nonce is read from. @param personalization_string_len length of personalization string. @param personalization_string Pointer to personalization_string_len bytes of memory where personalization string is read from.