Searched defs:tmp_block_state (Results 1 – 4 of 4) sorted by relevance
707 uint32_t tmp_block_state[8U] = { 0U }; in Hacl_Hash_SHA2_digest_256() local815 uint32_t tmp_block_state[8U] = { 0U }; in Hacl_Hash_SHA2_digest_224() local1115 uint64_t tmp_block_state[8U] = { 0U }; in Hacl_Hash_SHA2_digest_512() local1227 uint64_t tmp_block_state[8U] = { 0U }; in Hacl_Hash_SHA2_digest_384() local
412 uint32_t tmp_block_state[5U] = { 0U }; in Hacl_Hash_SHA1_digest() local
440 Hacl_Hash_SHA3_hash_buf tmp_block_state = { .fst = a, .snd = buf }; in digest_() local
1379 uint32_t tmp_block_state[4U] = { 0U }; in Hacl_Hash_MD5_digest() local