Searched defs:x32 (Results 1 – 2 of 2) sorted by relevance
222 uint64_t x32 = ((uint64_t)(arg1[5]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local388 uint64_t x32 = ((arg1[5]) * x11); in fiat_25519_carry_square() local673 uint32_t x32; in fiat_25519_to_bytes() local837 uint8_t x32 = (arg1[0]); in fiat_25519_from_bytes() local
1193 uint32_t x32 = (uint32_t)(x31 >> 25); in fiat_25519_carry_scmul_121666() local
