Searched defs:last00 (Results 1 – 1 of 1) sorted by relevance
180 uint8_t *last00 = last; in Hacl_Hash_SHA2_sha256_update_last() local386 uint8_t *last00 = last; in Hacl_Hash_SHA2_sha512_update_last() local