Searched refs:copy_of_decrypted (Results 1 – 1 of 1) sorted by relevance
10966 uint8_t copy_of_decrypted[32U]; in libcrux_ml_kem_ind_cca_decapsulate_70() local10967 memcpy(copy_of_decrypted, decrypted, (size_t)32U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_decapsulate_70()10969 libcrux_ml_kem_ind_cpa_encrypt_60(uu____5, copy_of_decrypted, in libcrux_ml_kem_ind_cca_decapsulate_70()11731 uint8_t copy_of_decrypted[32U]; in libcrux_ml_kem_ind_cca_decapsulate_700() local11732 memcpy(copy_of_decrypted, decrypted, (size_t)32U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_decapsulate_700()11734 libcrux_ml_kem_ind_cpa_encrypt_60(uu____5, copy_of_decrypted, in libcrux_ml_kem_ind_cca_decapsulate_700()