Searched defs:x70 (Results 1 – 1 of 1) sorted by relevance
141 { u32 x70 = (x49 & 0x1ffffff); in fe_freeze() local364 { u64 x70 = (x69 + x55); in fe_mul_impl() local507 { u64 x70 = (x68 + x58); in fe_sqr_impl() local687 { u64 x70 = (x69 + x55); in fe_mul_121666_impl() local