gcm_ghash_4bit
void gcm_ghash_4bit(uint64_t Xi[2], const u128 Htable[16], const uint8_t *inp,
ctx->ghash = gcm_ghash_4bit;
void gcm_ghash_4bit(uint64_t Xi[2], const u128 Htable[16], const uint8_t *inp,
ctx->ghash = gcm_ghash_4bit;