gcm_init_4bit
gcm_init_4bit(ctx->Htable, ctx->H.u);
void gcm_init_4bit(u128 Htable[16], uint64_t H[2]);
gcm_init_4bit(ctx->Htable, ctx->H.u);
void gcm_init_4bit(u128 Htable[16], uint64_t H[2]);
gcm_init_4bit(ctx->Htable, ctx->H.u);
gcm_init_4bit(ctx->Htable, ctx->H.u);