Searched defs:num_full_blocks (Results 1 – 1 of 1) sorted by relevance
5462 size_t num_full_blocks = Eurydice_slice_len(out[0U], uint8_t) / (size_t)8U; in libcrux_sha3_portable_keccak_store_5a_1c() local5581 size_t num_full_blocks = Eurydice_slice_len(out[0U], uint8_t) / (size_t)8U; in libcrux_sha3_portable_keccak_store_5a_1c0() local