Home | History | Annotate | Download | only in kern

Lines Matching refs:KASSERT

90 #define	KASSERT		assert
127 	KASSERT(usec >= 0);
128 	KASSERT(usec < 1000000);
168 	KASSERT(ts->tv_nsec >= 0);
169 	KASSERT(ts->tv_nsec < 1000000000);
239 	KASSERT(tsp->tv_nsec >= 0);
240 	KASSERT(usp->tv_nsec >= 0);
241 	KASSERT(tsp->tv_nsec < 1000000000L);
242 	KASSERT(usp->tv_nsec < 1000000000L);
351 	KASSERT(tsp->tv_nsec >= 0);
352 	KASSERT(usp->tv_nsec >= 0);
353 	KASSERT(tsp->tv_nsec < 1000000000L);
354 	KASSERT(usp->tv_nsec < 1000000000L);
505 	KASSERT(it->it_value.tv_sec >= 0);
506 	KASSERT(it->it_value.tv_nsec < 1000000000);
507 	KASSERT(it->it_interval.tv_sec >= 0);
508 	KASSERT(it->it_interval.tv_nsec < 1000000000);
511 	KASSERT(it->it_interval.tv_sec >= 0);
512 	KASSERT(it->it_interval.tv_nsec >= 0);
538 	KASSERT(now_ns >= 0);
539 	KASSERT(last_val >= 0);
540 	KASSERT(interval >= 0);
578 	KASSERT(last_val != now_ns);
581 	KASSERT((last_val - next_val) % interval == 0);
591 			KASSERT(now_ns < last_val);
592 			KASSERT(next_val == now_ns);
593 			KASSERT(last_val - next_val >= interval);
594 			KASSERT(interval <= last_val - next_val);
595 			KASSERT(next_val <= last_val - interval);
596 			KASSERT(next_val <= INT64_MAX - interval);