Lines Matching refs:x0
13 extern uint64_t FStar_UInt64_eq_mask(uint64_t x0, uint64_t x1);
15 extern uint64_t FStar_UInt64_gte_mask(uint64_t x0, uint64_t x1);
17 extern uint128_t FStar_UInt128_add(uint128_t x0, uint128_t x1);
19 extern uint128_t FStar_UInt128_add_mod(uint128_t x0, uint128_t x1);
21 extern uint128_t FStar_UInt128_logand(uint128_t x0, uint128_t x1);
23 extern uint128_t FStar_UInt128_shift_right(uint128_t x0, uint32_t x1);
25 extern uint128_t FStar_UInt128_uint64_to_uint128(uint64_t x0);
27 extern uint64_t FStar_UInt128_uint128_to_uint64(uint128_t x0);
29 extern uint128_t FStar_UInt128_mul_wide(uint64_t x0, uint64_t x1);
424 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local
425 uint64_t i4 = load64_le(x0); in Hacl_EC_Format_fexpand()
727 uint64_t *x0 = buf0; in Hacl_Curve25519_crypto_scalarmult() local
730 Hacl_EC_Format_fexpand(x0, basepoint); in Hacl_Curve25519_crypto_scalarmult()