Symbol: ghash_acc_to_polyval