Searched refs:libcrux_sha3_portable_keccak__vxarq_u64_4212 (Results 1 – 1 of 1) sorted by relevance
1641 libcrux_sha3_portable_keccak__vxarq_u64_4212(uint64_t a, uint64_t b) { in libcrux_sha3_portable_keccak__vxarq_u64_4212() function1658 return libcrux_sha3_portable_keccak__vxarq_u64_4212(a, b); in libcrux_sha3_portable_keccak_xor_and_rotate_5a_bb12()