ossl_gcm_init_4bit
void ossl_gcm_init_4bit(u128 Htable[16], const u64 H[2]);
ossl_gcm_init_4bit(Htable, (u64 *)tmp);