Searched defs:x70 (Results 1 – 1 of 1) sorted by relevance
180 uint32_t x70 = (x49 & 0x1ffffff); in fe_freeze() local410 uint64_t x70 = (x69 + x55); in fe_mul_impl() local555 uint64_t x70 = (x68 + x58); in fe_sqr_impl() local740 uint64_t x70 = (x69 + x55); in fe_mul_121666_impl() local