gcm_mul
gcm_mul((uint64_t *)(void *)(c)->gcm_ghash, (c)->gcm_H, \
extern void gcm_mul(uint64_t *, uint64_t *, uint64_t *);