Searched defs:last_block_len (Results 1 – 1 of 1) sorted by relevance
5459 size_t last_block_len = Eurydice_slice_len(out[0U], uint8_t) % (size_t)8U; in libcrux_sha3_portable_keccak_store_5a_1c() local5578 size_t last_block_len = Eurydice_slice_len(out[0U], uint8_t) % (size_t)8U; in libcrux_sha3_portable_keccak_store_5a_1c0() local