Lines Matching defs:x8
143 fiat_25519_uint128 x8; in fiat_25519_carry_mul() local
262 uint64_t x8; in fiat_25519_carry_square() local
377 uint64_t x8; in fiat_25519_carry() local
493 fiat_25519_uint1 x8; in fiat_25519_to_bytes() local
709 uint64_t x8; in fiat_25519_from_bytes() local
1040 uint64_t x8; in fiat_25519_carry_mul() local
1354 uint32_t x8; in fiat_25519_carry_square() local
1614 uint32_t x8; in fiat_25519_carry() local
1678 uint32_t x8; in fiat_25519_add() local
1718 uint32_t x8; in fiat_25519_sub() local
1758 uint32_t x8; in fiat_25519_opp() local
1800 fiat_25519_uint1 x8; in fiat_25519_to_bytes() local
2058 uint32_t x8; in fiat_25519_from_bytes() local