Searched refs:input_consumed (Results 1 – 1 of 1) sorted by relevance
4591 size_t input_consumed = in libcrux_sha3_generic_keccak_absorb_full_9d_f8() local4593 if (input_consumed > (size_t)0U) { in libcrux_sha3_generic_keccak_absorb_full_9d_f8()4613 Eurydice_slice_len(inputs[0U], uint8_t) - input_consumed; in libcrux_sha3_generic_keccak_absorb_full_9d_f8()4624 copy_of_inputs, input_consumed + i0 * (size_t)136U, (size_t)136U, ret); in libcrux_sha3_generic_keccak_absorb_full_9d_f8()5045 size_t input_consumed = in libcrux_sha3_generic_keccak_absorb_full_9d_f80() local5047 if (input_consumed > (size_t)0U) { in libcrux_sha3_generic_keccak_absorb_full_9d_f80()5067 Eurydice_slice_len(inputs[0U], uint8_t) - input_consumed; in libcrux_sha3_generic_keccak_absorb_full_9d_f80()5078 copy_of_inputs, input_consumed + i0 * (size_t)168U, (size_t)168U, ret); in libcrux_sha3_generic_keccak_absorb_full_9d_f80()