__uint128_val_t
__uint128_val_t H;
__uint128_val_t Htable[16];
void gcm_init_v8(__uint128_val_t Htable[16], const uint64_t Xi[2]);
void gcm_gmult_v8(uint64_t Xi[2], const __uint128_val_t Htable[16]);
void gcm_ghash_v8(uint64_t Xi[2], const __uint128_val_t Htable[16], const uint8_t *inp, size_t len);
const __uint128_val_t *);
const __uint128_val_t *);
__uint128_val_t EK0;
__uint128_val_t EKi;
__uint128_val_t Xi;
__uint128_val_t lenblock;
const uint8_t iv[static AES_GCM_IV_LEN], const __uint128_val_t *Htable)
size_t authdatalen, const __uint128_val_t *Htable)
const __uint128_val_t *Htable)
const __uint128_val_t *Htable)