Searched defs:last10 (Results 1 – 1 of 1) sorted by relevance
181 uint8_t *last10 = last + 64U; in Hacl_Hash_SHA2_sha256_update_last() local387 uint8_t *last10 = last + 128U; in Hacl_Hash_SHA2_sha512_update_last() local