Searched refs:result13 (Results 1 – 1 of 1) sorted by relevance
21923 int16_t result13 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 5U & 1U); in libcrux_ml_kem_vector_portable_serialize_deserialize_1() local21931 result10, result11, result12, result13, result14, result15 in libcrux_ml_kem_vector_portable_serialize_deserialize_1()