Searched refs:core_num__u64__from_le_bytes (Results 1 – 1 of 1) sorted by relevance
362 static inline uint64_t core_num__u64__from_le_bytes(uint8_t buf[8]) { in core_num__u64__from_le_bytes() function599 static inline uint64_t core_num__u64__from_le_bytes(uint8_t x0[8U]);1808 state_flat[i0] = core_num__u64__from_le_bytes(uu____0); in libcrux_sha3_simd_portable_load_block_f8()3457 state_flat[i0] = core_num__u64__from_le_bytes(uu____0); in libcrux_sha3_simd_portable_load_block_5b()3795 state_flat[i0] = core_num__u64__from_le_bytes(uu____0); in libcrux_sha3_simd_portable_load_block_3a()4052 state_flat[i0] = core_num__u64__from_le_bytes(uu____0); in libcrux_sha3_simd_portable_load_block_2c()4275 state_flat[i0] = core_num__u64__from_le_bytes(uu____0); in libcrux_sha3_simd_portable_load_block_7a()