Searched defs:x46 (Results 1 – 2 of 2) sorted by relevance
236 uint64_t x46 = ((uint64_t)(arg1[9]) * (arg2[0])); in fiat_25519_carry_mul() local402 uint64_t x46 = ((uint64_t)(arg1[3]) * ((arg1[3]) * (uint32_t)0x2)); in fiat_25519_carry_square() local692 uint32_t x46 = (x30 << 6); in fiat_25519_to_bytes() local851 uint8_t x46 = (uint8_t)(x45 >> 25); in fiat_25519_from_bytes() local
1206 uint32_t x46 = (x44 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local
