Home | History | Annotate | Download | only in dist

Lines Matching refs:myself

7382     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself) {
7388             myself->coefficients[i0]);
7389     myself->coefficients[i0] = uu____0;
7618     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
7627             &myself->coefficients[i0], &rhs->coefficients[i0],
7669     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
7674                    (size_t)16U, myself->coefficients,
7680         libcrux_ml_kem_vector_portable_add_b8(myself->coefficients[i0],
7682     myself->coefficients[i0] = uu____0;
7850     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
7860         libcrux_ml_kem_vector_portable_sub_b8(myself->coefficients[i0],
9065     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
9073                 myself->coefficients[j], (int16_t)1441);
9079     myself->coefficients[j] = red;
9362     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
9373         libcrux_ml_kem_vector_portable_add_b8(myself->coefficients[i0],
10026     libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
10034                 myself->coefficients[j]);
10040     myself->coefficients[j] = red;