usr.bin/ssh/libcrux_internal.h

10718

coefficient0 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[0U]);

usr.bin/ssh/libcrux_internal.h

10720

coefficient1 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[1U]);

usr.bin/ssh/libcrux_internal.h

10722

coefficient2 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[2U]);

usr.bin/ssh/libcrux_internal.h

10724

coefficient3 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[3U]);

usr.bin/ssh/libcrux_internal.h

10726

coefficient4 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[4U]);

usr.bin/ssh/libcrux_internal.h

10728

coefficient5 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[5U]);

usr.bin/ssh/libcrux_internal.h

10730

coefficient6 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[6U]);

usr.bin/ssh/libcrux_internal.h

10732

coefficient7 = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(simd_unit->data[7U]);

usr.bin/ssh/libcrux_internal.h

10831

simd_unit->data[0U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient0);

usr.bin/ssh/libcrux_internal.h

10832

simd_unit->data[1U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient1);

usr.bin/ssh/libcrux_internal.h

10833

simd_unit->data[2U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient2);

usr.bin/ssh/libcrux_internal.h

10834

simd_unit->data[3U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient3);

usr.bin/ssh/libcrux_internal.h

10835

simd_unit->data[4U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient4);

usr.bin/ssh/libcrux_internal.h

10836

simd_unit->data[5U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient5);

usr.bin/ssh/libcrux_internal.h

10837

simd_unit->data[6U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient6);

usr.bin/ssh/libcrux_internal.h

10838

simd_unit->data[7U] = libcrux_ml_dsa_simd_portable_encoding_t0_change_t0_interval(coefficient7);