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() 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() 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() local11518 uint8_t ret0[32U]; in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48() local11645 uint8_t ret0[32U]; in libcrux_ml_kem_variant_kdf_33_f0() local[all …]
110 ret0: .reg r28 /* return value */ label
91 ret0: .reg r28 /* return value */ label
283 ret0: .equ r28 ; return value label