polyval_mul_x86
polyval_mul_x86(acc, &key->h);
polyval_mul_x86(acc, &key->h_powers[NUM_H_POWERS - 1]);