Home | History | Annotate | Download | only in kern

Lines Matching defs:KASSERT

90 #define	KASSERT		assert
127 	KASSERT(usec >= 0);
128 	KASSERT(usec < 1000000);
211 	KASSERT(tsp->tv_nsec >= 0);
212 	KASSERT(usp->tv_nsec >= 0);
213 	KASSERT(tsp->tv_nsec < 1000000000L);
214 	KASSERT(usp->tv_nsec < 1000000000L);
323 	KASSERT(tsp->tv_nsec >= 0);
324 	KASSERT(usp->tv_nsec >= 0);
325 	KASSERT(tsp->tv_nsec < 1000000000L);
326 	KASSERT(usp->tv_nsec < 1000000000L);
477 	KASSERT(it->it_value.tv_sec >= 0);
478 	KASSERT(it->it_value.tv_nsec < 1000000000);
479 	KASSERT(it->it_interval.tv_sec >= 0);
480 	KASSERT(it->it_interval.tv_nsec < 1000000000);
483 	KASSERT(it->it_interval.tv_sec >= 0);
484 	KASSERT(it->it_interval.tv_nsec >= 0);
510 	KASSERT(now_ns >= 0);
511 	KASSERT(last_val >= 0);
512 	KASSERT(interval >= 0);
550 	KASSERT(last_val != now_ns);
553 	KASSERT((last_val - next_val) % interval == 0);
563 			KASSERT(now_ns < last_val);
564 			KASSERT(next_val == now_ns);
565 			KASSERT(last_val - next_val >= interval);
566 			KASSERT(interval <= last_val - next_val);
567 			KASSERT(next_val <= last_val - interval);
568 			KASSERT(next_val <= INT64_MAX - interval);