usr.bin/ssh/libcrux_mlkem768_sha3.h

6512

static KRML_MUSTINLINE int16_t_x8

usr.bin/ssh/libcrux_mlkem768_sha3.h

6543

return (KRML_CLITERAL(int16_t_x8){.fst = v0,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6555

int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_4_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6557

int16_t_x8 v8_15 = libcrux_ml_kem_vector_portable_serialize_deserialize_4_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6677

static KRML_MUSTINLINE int16_t_x8

usr.bin/ssh/libcrux_mlkem768_sha3.h

6742

return (KRML_CLITERAL(int16_t_x8){.fst = r0,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6754

int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_10_int(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6756

int16_t_x8 v8_15 =