EverCrypt_DRBG_uninstantiate_sha2_384

Function EverCrypt_DRBG_uninstantiate_sha2_384 

Source
pub unsafe extern "C" fn EverCrypt_DRBG_uninstantiate_sha2_384(
    st: *mut EverCrypt_DRBG_state_s,
)