ghash_update_mi
void ghash_update_mi(GHASH_CTX *, uint8_t *, size_t);
void (*ghash_update)(GHASH_CTX *, uint8_t *, size_t) = ghash_update_mi;