Searched defs:blocks_len (Results 1 – 2 of 2) sorted by relevance
155 uint32_t blocks_len = blocks_n * 64U; in Hacl_Hash_SHA1_update_last() local190 uint32_t blocks_len = blocks_len0; in Hacl_Hash_SHA1_hash_oneshot() local
1122 uint32_t blocks_len = blocks_n * 64U; in Hacl_Hash_MD5_update_last() local1157 uint32_t blocks_len = blocks_len0; in Hacl_Hash_MD5_hash_oneshot() local