gcm_gmult_avx
void gcm_gmult_avx(u64 Xi[2], const u128 Htable[16]);
ctx->gmult = gcm_gmult_avx;
#define GCM_gmult gcm_gmult_avx