Searched refs:Spec_Hash_Definitions_hash_alg (Results 1 – 4 of 4) sorted by relevance
28 static uint32_t block_len(Spec_Hash_Definitions_hash_alg a) in block_len()64 static uint32_t hash_len(Spec_Hash_Definitions_hash_alg a) in hash_len()94 Spec_Hash_Definitions_hash_alg a, in Hacl_Hash_SHA3_update_multi_sha3()109 Spec_Hash_Definitions_hash_alg a, in Hacl_Hash_SHA3_update_last_sha3()167 Spec_Hash_Definitions_hash_alg Hacl_Hash_SHA3_get_alg(Hacl_Hash_SHA3_state_t *s) in Hacl_Hash_SHA3_get_alg()173 Hacl_Hash_SHA3_state_t *Hacl_Hash_SHA3_malloc(Spec_Hash_Definitions_hash_alg a) in Hacl_Hash_SHA3_malloc()206 Spec_Hash_Definitions_hash_alg i = block_state0.fst; in Hacl_Hash_SHA3_copy()229 Spec_Hash_Definitions_hash_alg i = block_state.fst; in Hacl_Hash_SHA3_reset()244 Spec_Hash_Definitions_hash_alg i = block_state.fst; in Hacl_Hash_SHA3_update()297 Spec_Hash_Definitions_hash_alg a1 = block_state1.fst; in Hacl_Hash_SHA3_update()[all …]
43 Spec_Hash_Definitions_hash_alg fst;56 Spec_Hash_Definitions_hash_alg Hacl_Hash_SHA3_get_alg(Hacl_Hash_SHA3_state_t *s);58 Hacl_Hash_SHA3_state_t *Hacl_Hash_SHA3_malloc(Spec_Hash_Definitions_hash_alg a);
53 typedef uint8_t Spec_Hash_Definitions_hash_alg; typedef
42 Spec_Hash_Definitions_hash_alg a,50 Spec_Hash_Definitions_hash_alg a,