Home
last modified time | relevance | path

Searched defs:x1 (Results 1 – 2 of 2) sorted by relevance

/mcuboot-latest/ext/fiat/src/
Dcurve25519.h90 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u26() local
107 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u26() local
124 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u25() local
141 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u25() local
171 fiat_25519_uint1 x1 = (!(!arg1)); in fiat_25519_cmovznz_u32() local
191 uint64_t x1 = ((uint64_t)(arg1[9]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local
357 uint32_t x1 = ((arg1[9]) * (uint32_t)UINT8_C(0x13)); in fiat_25519_carry_square() local
496 uint32_t x1 = (arg1[0]); in fiat_25519_carry() local
538 uint32_t x1 = ((arg1[0]) + (arg2[0])); in fiat_25519_add() local
568 uint32_t x1 = ((UINT32_C(0x7ffffda) + (arg1[0])) - (arg2[0])); in fiat_25519_sub() local
[all …]
Dcurve25519.c1161 uint64_t x1 = ((uint64_t)UINT32_C(0x1db42) * (arg1[9])); in fiat_25519_carry_scmul_121666() local
1229 fe x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mult_generic() local