gcm_gmult_4bit
void gcm_gmult_4bit(u64 Xi[2],const u128 Htable[16]);
#define GCM_MUL(ctx,Xi) gcm_gmult_4bit(ctx->Xi.u,ctx->Htable)
ctx->gmult = gcm_gmult_4bit;