Searched defs:x78 (Results 1 – 2 of 2) sorted by relevance
141 { u32 x78 = (x49 & 0x1ffffff); in fe_freeze() local368 { u64 x78 = (x77 + (x52 << 0x1)); in fe_mul_impl() local511 { u32 x78 = ((u32)x76 & 0x3ffffff); in fe_sqr_impl() local691 { u64 x78 = (x77 + (x52 << 0x1)); in fe_mul_121666_impl() local
563 uint8_t x78; in fiat_25519_to_bytes() local1110 uint64_t x78; in fiat_25519_carry_mul() local1424 uint64_t x78; in fiat_25519_carry_square() local1870 uint8_t x78; in fiat_25519_to_bytes() local2128 uint32_t x78; in fiat_25519_from_bytes() local