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