Searched refs:libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a (Results 1 – 1 of 1) sorted by relevance
965 libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a(uint64_t a, uint64_t b) { in libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a() function2069 uint64_t uu____0 = libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a( in libcrux_sha3_generic_keccak_theta_rho_16()2072 uint64_t uu____1 = libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a( in libcrux_sha3_generic_keccak_theta_rho_16()2075 uint64_t uu____2 = libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a( in libcrux_sha3_generic_keccak_theta_rho_16()2078 uint64_t uu____3 = libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a( in libcrux_sha3_generic_keccak_theta_rho_16()2082 libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a( in libcrux_sha3_generic_keccak_theta_rho_16()