70 	u64 hi, lo;  member
77 	return (u128_u) { .lo = a };  in u64_to_u128()
82 	return a.lo;  in u128_lo()
96 	c.lo = a.lo + b.lo;  in u128_add()
97 	c.hi = a.hi + b.hi + (c.lo < a.lo);  in u128_add()
105 	c.lo = a.lo - b.lo;  in u128_sub()
106 	c.hi = a.hi - b.hi - (c.lo > a.lo);  in u128_sub()
114 	r.lo = i.lo << (shift & 63);  in u128_shl()
116 		r.hi = (i.hi << (shift & 63)) | (i.lo >> (-shift & 63));  in u128_shl()
118 		r.hi = i.lo << (-shift & 63);  in u128_shl()
119 		r.lo = 0;  in u128_shl()
138 static inline u128_u u64s_to_u128(u64 hi, u64 lo)  in u64s_to_u128()  argument
143 	c = u128_add(c, u64_to_u128(lo));  in u64s_to_u128()