Searched defs:totlen_buf (Results 1 – 1 of 1) sorted by relevance
173 uint8_t totlen_buf[8U] = { 0U }; in Hacl_Hash_SHA2_sha256_update_last() local379 uint8_t totlen_buf[16U] = { 0U }; in Hacl_Hash_SHA2_sha512_update_last() local