158 static inline modq modq_freeze(crypto_int32 a)  in modq_freeze()  function
170   return modq_freeze(A - B * C);  in modq_minusproduct()
178   return modq_freeze(A + B * C);  in modq_plusproduct()
185   return modq_freeze(A * B);  in modq_product()
191   return modq_freeze(A * A);  in modq_square()
198   return modq_freeze(A + B);  in modq_sum()
320   for (i = 0;i < p;++i) t3[i] = mod3_freeze(modq_freeze(3*t[i]));  in crypto_kem_sntrup4591761_dec()
738     *f++ = modq_freeze(f0 + q - qshift);  in rq_decode()
739     *f++ = modq_freeze(f1 + q - qshift);  in rq_decode()
740     *f++ = modq_freeze(f2 + q - qshift);  in rq_decode()
741     *f++ = modq_freeze(f3 + q - qshift);  in rq_decode()
742     *f++ = modq_freeze(f4 + q - qshift);  in rq_decode()
748   *f++ = modq_freeze(c0 + q - qshift);  in rq_decode()
1002     *f++ = modq_freeze(f0 * 3 + q - qshift);  in rq_decoderounded()
1003     *f++ = modq_freeze(f1 * 3 + q - qshift);  in rq_decoderounded()
1004     *f++ = modq_freeze(f2 * 3 + q - qshift);  in rq_decoderounded()
1019   *f++ = modq_freeze(f0 * 3 + q - qshift);  in rq_decoderounded()
1020   *f++ = modq_freeze(f1 * 3 + q - qshift);  in rq_decoderounded()