Function hacl_sys::EverCrypt_HKDF_expand

pub unsafe extern "C" fn EverCrypt_HKDF_expand(
    a: Spec_Hash_Definitions_hash_alg,
    okm: *mut u8,
    prk: *mut u8,
    prklen: u32,
    info: *mut u8,
    infolen: u32,
    len: u32
)

Expand pseudorandom key to desired length.

@param a Hash function to use. Usually, the same as used in EverCrypt_HKDF_extract. @param okm Pointer to len bytes of memory where output keying material is written to. @param prk Pointer to at least HashLen bytes of memory where pseudorandom key is read from. Usually, this points to the output from the extract step. @param prklen Length of pseudorandom key. @param info Pointer to infolen bytes of memory where context and application specific information is read from. @param infolen Length of context and application specific information. Can be 0. @param len Length of output keying material.