Searched refs:core_num__u64__to_le_bytes (Results 1 – 1 of 1) sorted by relevance
358 static inline void core_num__u64__to_le_bytes(uint64_t v, uint8_t buf[8]) { in core_num__u64__to_le_bytes() function603 static inline void core_num__u64__to_le_bytes(uint64_t x0, uint8_t x1[8U]);3352 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_f8()3363 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_f8()3575 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_5b()3586 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_5b()3890 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_3a()3901 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_3a()4170 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_2c()4181 core_num__u64__to_le_bytes( in libcrux_sha3_simd_portable_store_block_2c()[all …]