Searched refs:x143 (Results 1 – 1 of 1) sorted by relevance
333 uint32_t x143 = (uint32_t)(x141 & UINT32_C(0x3ffffff)); in fiat_25519_carry_mul() local338 out1[0] = x143; in fiat_25519_carry_mul()