Searched refs:input_consumed (Results 1 – 1 of 1) sorted by relevance
4595 size_t input_consumed = in libcrux_sha3_generic_keccak_absorb_full_9d_f8() local4597 if (input_consumed > (size_t)0U) { in libcrux_sha3_generic_keccak_absorb_full_9d_f8()4617 Eurydice_slice_len(inputs[0U], uint8_t) - input_consumed; in libcrux_sha3_generic_keccak_absorb_full_9d_f8()4628 copy_of_inputs, input_consumed + i0 * (size_t)136U, (size_t)136U, ret); in libcrux_sha3_generic_keccak_absorb_full_9d_f8()5049 size_t input_consumed = in libcrux_sha3_generic_keccak_absorb_full_9d_f80() local5051 if (input_consumed > (size_t)0U) { in libcrux_sha3_generic_keccak_absorb_full_9d_f80()5071 Eurydice_slice_len(inputs[0U], uint8_t) - input_consumed; in libcrux_sha3_generic_keccak_absorb_full_9d_f80()5082 copy_of_inputs, input_consumed + i0 * (size_t)168U, (size_t)168U, ret); in libcrux_sha3_generic_keccak_absorb_full_9d_f80()