Lines Matching defs:x6
141 fiat_25519_uint128 x6; in fiat_25519_carry_mul() local
260 uint64_t x6; in fiat_25519_carry_square() local
375 uint64_t x6; in fiat_25519_carry() local
491 fiat_25519_uint1 x6; in fiat_25519_to_bytes() local
707 uint64_t x6; in fiat_25519_from_bytes() local
1038 uint64_t x6; in fiat_25519_carry_mul() local
1352 uint32_t x6; in fiat_25519_carry_square() local
1612 uint32_t x6; in fiat_25519_carry() local
1676 uint32_t x6; in fiat_25519_add() local
1716 uint32_t x6; in fiat_25519_sub() local
1756 uint32_t x6; in fiat_25519_opp() local
1798 fiat_25519_uint1 x6; in fiat_25519_to_bytes() local
2056 uint32_t x6; in fiat_25519_from_bytes() local