Searched defs:ret0 (Results 1 – 4 of 4) sorted by relevance
853 uint8_t ret0[32U]; in libcrux_ml_kem_constant_time_ops_compare_ciphertexts_select_shared_secret_in_constant_time() local1016 Eurydice_slice ret0[1U]; in libcrux_sha3_portable_keccak_slice_n_5a() local9247 uint8_t ret0[32U]; in libcrux_ml_kem_ind_cpa_decrypt_unpacked_6d() local9277 uint8_t ret0[32U]; in libcrux_ml_kem_ind_cpa_decrypt_43() local9819 libcrux_ml_kem_polynomial_PolynomialRingElement_f0 ret0[3U]; in libcrux_ml_kem_sampling_sample_from_xof_3f() local10816 uint8_t ret0[34U]; in libcrux_ml_kem_ind_cpa_encrypt_60() local10978 uint8_t ret0[32U]; in libcrux_ml_kem_ind_cca_decapsulate_70() local11206 uint8_t ret0[64U]; in libcrux_ml_kem_variant_cpa_keygen_seed_d8_0e() local11369 uint8_t ret0[384U]; in libcrux_ml_kem_ind_cpa_serialize_secret_key_b5() local11394 uint8_t ret0[1152U]; in libcrux_ml_kem_ind_cpa_serialize_public_key_79() local[all …]
91 ret0: .reg r28 /* return value */ label
110 ret0: .reg r28 /* return value */ label
283 ret0: .equ r28 ; return value label