Searched refs:libcrux_sha3_portable_keccak_rotate_left_cb (Results 1 – 1 of 1) sorted by relevance
950 libcrux_sha3_portable_keccak_rotate_left_cb(uint64_t x) { in libcrux_sha3_portable_keccak_rotate_left_cb() function957 return uu____0 ^ libcrux_sha3_portable_keccak_rotate_left_cb(b); in libcrux_sha3_portable_keccak__vrax1q_u64()1305 return libcrux_sha3_portable_keccak_rotate_left_cb(ab); in libcrux_sha3_portable_keccak__vxarq_u64_423()