crypto/openssh/libcrux_mlkem768_sha3.h

6046

static KRML_MUSTINLINE int16_t_x8

crypto/openssh/libcrux_mlkem768_sha3.h

6099

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

crypto/openssh/libcrux_mlkem768_sha3.h

6133

int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_11_int(

crypto/openssh/libcrux_mlkem768_sha3.h

6135

int16_t_x8 v8_15 =

crypto/openssh/libcrux_mlkem768_sha3.h

7482

static KRML_MUSTINLINE int16_t_x8

crypto/openssh/libcrux_mlkem768_sha3.h

7513

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

crypto/openssh/libcrux_mlkem768_sha3.h

7525

int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_4_int(

crypto/openssh/libcrux_mlkem768_sha3.h

7527

int16_t_x8 v8_15 = libcrux_ml_kem_vector_portable_serialize_deserialize_4_int(

crypto/openssh/libcrux_mlkem768_sha3.h

7625

static KRML_MUSTINLINE int16_t_x8

crypto/openssh/libcrux_mlkem768_sha3.h

7667

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

crypto/openssh/libcrux_mlkem768_sha3.h

7679

int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_5_int(

crypto/openssh/libcrux_mlkem768_sha3.h

7681

int16_t_x8 v8_15 = libcrux_ml_kem_vector_portable_serialize_deserialize_5_int(

crypto/openssh/libcrux_mlkem768_sha3.h

7797

static KRML_MUSTINLINE int16_t_x8

crypto/openssh/libcrux_mlkem768_sha3.h

7846

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

crypto/openssh/libcrux_mlkem768_sha3.h

7858

int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_10_int(

crypto/openssh/libcrux_mlkem768_sha3.h

7860

int16_t_x8 v8_15 =