usr.bin/ssh/libcrux_mlkem768_sha3.h

6878

static KRML_MUSTINLINE int16_t_x2

usr.bin/ssh/libcrux_mlkem768_sha3.h

6889

return (KRML_CLITERAL(int16_t_x2){.fst = r0, .snd = r1});

usr.bin/ssh/libcrux_mlkem768_sha3.h

6894

int16_t_x2 v0_1 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6896

int16_t_x2 v2_3 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6898

int16_t_x2 v4_5 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6900

int16_t_x2 v6_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6902

int16_t_x2 v8_9 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6904

int16_t_x2 v10_11 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

6907

int16_t_x2 v12_13 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

6910

int16_t_x2 v14_15 =