hacl_sys

Function EverCrypt_AEAD_decrypt_expand_chacha20_poly1305

Source 
pub unsafe extern "C" fn EverCrypt_AEAD_decrypt_expand_chacha20_poly1305(
    k: *mut u8,
    iv: *mut u8,
    iv_len: u32,
    ad: *mut u8,
    ad_len: u32,
    cipher: *mut u8,
    cipher_len: u32,
    tag: *mut u8,
    dst: *mut u8,
) -> EverCrypt_Error_error_code