4539 static void add128(uint64_t *plow, uint64_t *phigh, uint64_t a, uint64_t b)  in add128()  argument
4541     *plow += a;  in add128()
4543     if (*plow < a)  in add128()
4548 static void neg128(uint64_t *plow, uint64_t *phigh)  in neg128()  argument
4550     *plow = ~ *plow;  in neg128()
4552     add128(plow, phigh, 1, 0);  in neg128()
4556 static int div64(uint64_t *plow, uint64_t *phigh, uint64_t b)  in div64()  argument
4561     a0 = *plow;  in div64()
4566         *plow = q;  in div64()
4585                *phigh, *plow, b, a0, a1);  in div64()
4587         *plow = a0;  in div64()
4594 static int idiv64(uint64_t *plow, uint64_t *phigh, int64_t b)  in idiv64()  argument
4599         neg128(plow, phigh);  in idiv64()
4603     if (div64(plow, phigh, b) != 0)  in idiv64()
4606         if (*plow > (1ULL << 63))  in idiv64()
4608         *plow = - *plow;  in idiv64()
4610         if (*plow >= (1ULL << 63))  in idiv64()