Home | History | Annotate | Download | only in kern

Lines Matching defs:last_val

455 	int64_t last_val, next_val, interval, remainder, now_ns;
507 	last_val = timespec2ns(&it->it_value);
511 	KASSERT(last_val >= 0);
519 	 *         remainder        last_val        remainder
530 	 * - If now_ns < last_val -- which happens iff backwards, i.e.,
538 	 * - If now_ns > last_val -- which happens iff !backwards,
545 	 * (now_ns == last_val is not possible at this point because it
550 	KASSERT(last_val != now_ns);
551 	remainder = (now_ns - last_val) % interval;
553 	KASSERT((last_val - next_val) % interval == 0);
563 			KASSERT(now_ns < last_val);
565 			KASSERT(last_val - next_val >= interval);
566 			KASSERT(interval <= last_val - next_val);
567 			KASSERT(next_val <= last_val - interval);
582 		    (next_val - last_val) / interval);