Searched defs:x97 (Results 1 – 2 of 2) sorted by relevance
387 { u64 x97 = (x95 + x73); in fe_mul_impl() local530 { u32 x97 = (x95 + x69); in fe_sqr_impl() local710 { u64 x97 = (x95 + x73); in fe_mul_121666_impl() local
1129 uint64_t x97; in fiat_25519_carry_mul() local1443 uint32_t x97; in fiat_25519_carry_square() local1889 uint32_t x97; in fiat_25519_to_bytes() local