Function hacl_sys::EverCrypt_AEAD_decrypt_expand_aes128_gcm_no_check

pub unsafe extern "C" fn EverCrypt_AEAD_decrypt_expand_aes128_gcm_no_check(
    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

WARNING: this function doesn’t perform any dynamic hardware check. You MUST make sure your hardware supports the implementation of AESGCM. Besides, this function was not designed for cross-compilation: if you compile it on a system which doesn’t support Vale, it will compile it to a function which makes the program exit.