Searched defs:x117 (Results 1 – 2 of 2) sorted by relevance
407 { u32 x117 = ((u32)x115 & 0x3ffffff); in fe_mul_impl() local730 { u32 x117 = ((u32)x115 & 0x3ffffff); in fe_mul_121666_impl() local
711 uint64_t x117 = (x116 >> 26); in fiat_25519_carry_mul() local877 uint32_t x117 = (x115 + x88); in fiat_25519_carry_square() local1167 uint8_t x117 = (uint8_t)(x115 >> 8); in fiat_25519_to_bytes() local