Searched refs:input_consumed (Results 1 – 1 of 1) sorted by relevance
4839 size_t input_consumed = in libcrux_sha3_generic_keccak_xof_absorb_full_35_c6() local4841 if (input_consumed > (size_t)0U) { in libcrux_sha3_generic_keccak_xof_absorb_full_35_c6()4859 Eurydice_slice_len(inputs[0U], uint8_t) - input_consumed; in libcrux_sha3_generic_keccak_xof_absorb_full_35_c6()4865 &self->inner, inputs, input_consumed + i0 * (size_t)136U); in libcrux_sha3_generic_keccak_xof_absorb_full_35_c6()5146 size_t input_consumed = in libcrux_sha3_generic_keccak_xof_absorb_full_35_c60() local5148 if (input_consumed > (size_t)0U) { in libcrux_sha3_generic_keccak_xof_absorb_full_35_c60()5166 Eurydice_slice_len(inputs[0U], uint8_t) - input_consumed; in libcrux_sha3_generic_keccak_xof_absorb_full_35_c60()5172 &self->inner, inputs, input_consumed + i0 * (size_t)168U); in libcrux_sha3_generic_keccak_xof_absorb_full_35_c60()