Searched defs:buf_multi (Results 1 – 4 of 4) sorted by relevance
719 uint8_t *buf_multi = buf_1; in Hacl_Hash_SHA2_digest_256() local827 uint8_t *buf_multi = buf_1; in Hacl_Hash_SHA2_digest_224() local1127 uint8_t *buf_multi = buf_1; in Hacl_Hash_SHA2_digest_512() local1239 uint8_t *buf_multi = buf_1; in Hacl_Hash_SHA2_digest_384() local
424 uint8_t *buf_multi = buf_1; in Hacl_Hash_SHA1_digest() local
455 uint8_t *buf_multi = buf_1; in digest_() local
1391 uint8_t *buf_multi = buf_1; in Hacl_Hash_MD5_digest() local