gcm_init_avx
void gcm_init_avx(u128 Htable[16], const u64 Xi[2]);
ctx->ginit = gcm_init_avx;
#define GCM_init gcm_init_avx