Searched defs:x38 (Results 1 – 2 of 2) sorted by relevance
122 { u32 x38; u8/*bool*/ x39 = subborrow_u26(x36, x14, 0x3ffffff, &x38); in fe_freeze() local234 { const u32 x38 = in2[9]; in fe_add_impl() local277 { const u32 x38 = in2[9]; in fe_sub_impl() local320 { const u32 x38 = in2[9]; in fe_mul_impl() local471 { u64 x38 = (x27 + (x37 << 0x4)); in fe_sqr_impl() local643 { const u32 x38 = 0; in fe_mul_121666_impl() local
173 uint64_t x38; in fiat_25519_carry_mul() local292 uint64_t x38; in fiat_25519_carry_square() local523 uint64_t x38; in fiat_25519_to_bytes() local739 uint64_t x38; in fiat_25519_from_bytes() local1070 uint64_t x38; in fiat_25519_carry_mul() local1384 uint64_t x38; in fiat_25519_carry_square() local1830 uint32_t x38; in fiat_25519_to_bytes() local2088 uint32_t x38; in fiat_25519_from_bytes() local