Lines Matching refs:rem
105 const uint64_t rem = x % div;
107 return ((x / div) * y + (rem * y) / div);
113 uint64_t res, rem;
116 res = rem = 0;
122 * INVARIANT: x * y = res * z + rem + (y1 + y1z * z) * x1
124 * INVARIANT: rem < z
131 rem += y1;
132 if ((rem < y1) || (rem >= z)) {
134 rem -= z;
149 KASSERT(res * z + rem == x * y, ("%s: res %ju * z %ju + rem %ju != "
151 (uintmax_t)rem, (uintmax_t)x, (uintmax_t)y));
152 KASSERT(rem < z, ("%s: rem %ju >= z %ju\n", __func__,
153 (uintmax_t)rem, (uintmax_t)z));