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