Searched refs:libcrux_sha3_portable_keccak_rotate_left_cb16 (Results 1 – 1 of 1) sorted by relevance
1786 libcrux_sha3_portable_keccak_rotate_left_cb16(uint64_t x) { in libcrux_sha3_portable_keccak_rotate_left_cb16() function1799 return libcrux_sha3_portable_keccak_rotate_left_cb16(ab); in libcrux_sha3_portable_keccak__vxarq_u64_4216()