Searched refs:libcrux_sha3_portable_keccak__veor5q_u64 (Results 1 – 1 of 1) sorted by relevance
922 static KRML_MUSTINLINE uint64_t libcrux_sha3_portable_keccak__veor5q_u64( in libcrux_sha3_portable_keccak__veor5q_u64() function936 return libcrux_sha3_portable_keccak__veor5q_u64(a, b, c, d, e); in libcrux_sha3_portable_keccak_xor5_5a()