Searched defs:x63 (Results 1 – 2 of 2) sorted by relevance
548 uint64_t x63; in fiat_25519_to_bytes() local764 uint64_t x63; in fiat_25519_from_bytes() local1095 uint64_t x63; in fiat_25519_carry_mul() local1409 uint64_t x63; in fiat_25519_carry_square() local1855 uint32_t x63; in fiat_25519_to_bytes() local2113 uint32_t x63; in fiat_25519_from_bytes() local
353 { u64 x63 = (x62 + (x57 << 0x1)); in fe_mul_impl() local496 { u64 x63 = (x62 + (x29 << 0x1)); in fe_sqr_impl() local676 { u64 x63 = (x62 + (x57 << 0x1)); in fe_mul_121666_impl() local