GCM_init
GCM_init(ctx->gcm.Htable, ctx->gcm.H.u);
void GCM_init(__uint128_t Htable[16], uint64_t Xi[2]);