Searched defs:b2 (Results 1 – 2 of 2) sorted by relevance
305 uint64_t b2; in Hacl_Bignum_fdifference() local542 uint8_t *b2 = output + (uint32_t)16U; in Hacl_EC_Format_fcontract_store() local
347 uint64_t b2; in Hacl_Bignum_fdifference() local587 uint8_t *b2 = output + (uint32_t)16U; in Hacl_EC_Format_fcontract_store() local
Completed in 6 milliseconds