Searched defs:x80 (Results 1 – 1 of 1) sorted by relevance
185 uint32_t x80; uint8_t/*bool*/ x81 = addcarryx_u25(x77, x41, x78, &x80); in fe_freeze() local420 uint64_t x80 = (x41 + (x51 << 0x4)); in fe_mul_impl() local565 uint64_t x80 = (x79 >> 0x19); in fe_sqr_impl() local750 uint64_t x80 = (x41 + (x51 << 0x4)); in fe_mul_121666_impl() local