AES_GCM_KEY_VAES_AVX512
aes_gcm_dec_update_vaes_avx512(AES_GCM_KEY_VAES_AVX512(key),
aes_gcm_enc_final_vaes_avx512(AES_GCM_KEY_VAES_AVX512(key),
return aes_gcm_dec_final_vaes_avx512(AES_GCM_KEY_VAES_AVX512(key),
AES_GCM_KEY_VAES_AVX512(key);
aes_gcm_precompute_vaes_avx512(AES_GCM_KEY_VAES_AVX512(key));
aes_gcm_aad_update_vaes_avx512(AES_GCM_KEY_VAES_AVX512(key),
aes_gcm_enc_update_vaes_avx512(AES_GCM_KEY_VAES_AVX512(key),