Searched refs:result0 (Results 1 – 1 of 1) sorted by relevance
6329 uint8_t result0 = in libcrux_ml_kem_vector_portable_serialize_serialize_1() local6347 ret[0U] = result0; in libcrux_ml_kem_vector_portable_serialize_serialize_1()6371 int16_t result0 = libcrux_secrets_int_as_i16_59( in libcrux_ml_kem_vector_portable_serialize_deserialize_1() local6419 .elements = {result0, result1, result2, result3, result4, result5, in libcrux_ml_kem_vector_portable_serialize_deserialize_1()6448 uint8_t result0 = (uint32_t)libcrux_secrets_int_as_u8_f5( in libcrux_ml_kem_vector_portable_serialize_serialize_4_int() local6469 .fst = result0, .snd = result1, .thd = result2, .f3 = result3}); in libcrux_ml_kem_vector_portable_serialize_serialize_4_int()