Lines Matching defs:x3
71 fiat_25519_uint1 x3; in fiat_25519_addcarryx_u51() local
97 uint64_t x3; in fiat_25519_subborrowx_u51() local
121 uint64_t x3; in fiat_25519_cmovznz_u64() local
138 fiat_25519_uint128 x3; in fiat_25519_carry_mul() local
257 uint64_t x3; in fiat_25519_carry_square() local
372 uint64_t x3; in fiat_25519_carry() local
411 uint64_t x3; in fiat_25519_add() local
436 uint64_t x3; in fiat_25519_sub() local
461 uint64_t x3; in fiat_25519_opp() local
488 uint64_t x3; in fiat_25519_to_bytes() local
704 uint64_t x3; in fiat_25519_from_bytes() local
916 fiat_25519_uint1 x3; in fiat_25519_addcarryx_u26() local
942 uint32_t x3; in fiat_25519_subborrowx_u26() local
968 fiat_25519_uint1 x3; in fiat_25519_addcarryx_u25() local
994 uint32_t x3; in fiat_25519_subborrowx_u25() local
1018 uint32_t x3; in fiat_25519_cmovznz_u32() local
1035 uint64_t x3; in fiat_25519_carry_mul() local
1349 uint32_t x3; in fiat_25519_carry_square() local
1609 uint32_t x3; in fiat_25519_carry() local
1673 uint32_t x3; in fiat_25519_add() local
1713 uint32_t x3; in fiat_25519_sub() local
1753 uint32_t x3; in fiat_25519_opp() local
1795 uint32_t x3; in fiat_25519_to_bytes() local
2053 uint32_t x3; in fiat_25519_from_bytes() local