Searched defs:res_hi (Results 1 – 1 of 1) sorted by relevance
77 uint64_t res_hi = high(val[i]) + high(x.val[i]) + carry; in add() local117 uint64_t res_hi = high(p1) + low(p2) + carry; in mul() local137 uint64_t res_hi = high(p1) + low(p2) + carry; in mul() local