Lines Matching defs:serialized
8236 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_to_uncompressed_ring_element_af()
8356 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c()
8420 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_then_decompress_11_8d()
8446 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_then_decompress_ring_element_u_34()
8725 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_then_decompress_4_41()
8789 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_then_decompress_5_4e()
8815 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_then_decompress_ring_element_v_56()
9181 uint8_t serialized[32U] = {0U}; in libcrux_ml_kem_serialize_compress_then_serialize_message_aa() local
9352 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_4c()
10525 uint8_t serialized[320U] = {0U}; in libcrux_ml_kem_serialize_compress_then_serialize_10_fc() local
10586 uint8_t serialized[320U] = {0U}; in libcrux_ml_kem_serialize_compress_then_serialize_11_e1() local
10697 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_compress_then_serialize_4_9a()
10757 Eurydice_slice serialized) { in libcrux_ml_kem_serialize_compress_then_serialize_5_1f()
11325 uint8_t serialized[384U] = {0U}; in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b() local