Searched refs:uu____1 (Results 1 – 1 of 1) sorted by relevance
1300 Eurydice_slice_uint8_t_x2 uu____1 = Eurydice_slice_split_at( in libcrux_ml_kem_types_unpack_private_key_b4() local1302 Eurydice_slice ind_cpa_public_key = uu____1.fst; in libcrux_ml_kem_types_unpack_private_key_b4()1303 Eurydice_slice secret_key = uu____1.snd; in libcrux_ml_kem_types_unpack_private_key_b4()1948 uint64_t uu____1 = libcrux_sha3_simd_portable_rotate_left1_and_xor_d2( in libcrux_sha3_generic_keccak_theta_80_04() local1958 ret[1U] = uu____1; in libcrux_sha3_generic_keccak_theta_80_04()2862 libcrux_sha3_generic_keccak_KeccakState_17 *uu____1 = self; in libcrux_sha3_generic_keccak_rho_80_04() local2864 uu____1, (size_t)2U, (size_t)0U, in libcrux_sha3_generic_keccak_rho_80_04()3255 uint64_t uu____1[5U]; in libcrux_sha3_generic_keccak_keccakf1600_80_04() local3256 memcpy(uu____1, t, (size_t)5U * sizeof(uint64_t)); in libcrux_sha3_generic_keccak_keccakf1600_80_04()3257 libcrux_sha3_generic_keccak_rho_80_04(uu____0, uu____1); in libcrux_sha3_generic_keccak_keccakf1600_80_04()[all …]