Searched refs:b3 (Results 1 – 2 of 2) sorted by relevance
306 uint64_t b3; in Hacl_Bignum_fdifference() local312 b3 = tmp[3U]; in Hacl_Bignum_fdifference()317 tmp[3U] = b3 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()543 uint8_t *b3 = output + (uint32_t)24U; in Hacl_EC_Format_fcontract_store() local547 store64_le(b3, o3); in Hacl_EC_Format_fcontract_store()
348 uint64_t b3; in Hacl_Bignum_fdifference() local354 b3 = tmp[3U]; in Hacl_Bignum_fdifference()359 tmp[3U] = b3 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()588 uint8_t *b3 = output + (uint32_t)24U; in Hacl_EC_Format_fcontract_store() local592 store64_le(b3, o3); in Hacl_EC_Format_fcontract_store()