Searched defs:total_len_bits (Results 1 – 1 of 1) sorted by relevance
174 uint64_t total_len_bits = totlen << 3U; in Hacl_Hash_SHA2_sha256_update_last() local380 FStar_UInt128_uint128 total_len_bits = FStar_UInt128_shift_left(totlen, 3U); in Hacl_Hash_SHA2_sha512_update_last() local