Searched defs:b1 (Results 1 – 2 of 2) sorted by relevance
252 uint64_t *b1; in Hacl_Bignum_Crecip_crecip() local304 uint64_t b1; in Hacl_Bignum_fdifference() local541 uint8_t *b1 = output + (uint32_t)8U; in Hacl_EC_Format_fcontract_store() local
294 uint64_t *b1; in Hacl_Bignum_Crecip_crecip() local346 uint64_t b1; in Hacl_Bignum_fdifference() local586 uint8_t *b1 = output + (uint32_t)8U; in Hacl_EC_Format_fcontract_store() local
Completed in 6 milliseconds