Searched defs:x85 (Results 1 – 1 of 1) sorted by relevance
148 { u32 x84; u8/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84); in fe_freeze() local379 { u64 x85 = (x84 + x50); in fe_mul_impl() local522 { u64 x85 = (x83 + x43); in fe_sqr_impl() local702 { u64 x85 = (x84 + x50); in fe_mul_121666_impl() local