Lines Matching refs:KASSERT

215 	KASSERT(descriptor != NULL, ("no device"));  in usbd_get_speed()
403 	KASSERT(n <= uint32_t(xfer->max_frame_count), ("frame index overflow"));  in usbd_xfer_set_frames()
412 	KASSERT(frindex < uint32_t(xfer->nframes), ("frame index overflow"));  in usbd_xfer_set_frame_data()
423 	KASSERT(frindex < uint32_t(xfer->nframes), ("frame index overflow"));  in usbd_xfer_set_frame_len()
424 	KASSERT(len <= uint32_t(xfer->max_data_length), ("length overflow"));  in usbd_xfer_set_frame_len()
437 	KASSERT(frindex < uint32_t(xfer->max_frame_count), ("frame index overflow"));  in usbd_xfer_get_frame()
456 	KASSERT((offset + len) < uint32_t(cache->length), ("buffer overflow"));  in usbd_frame_zero()
465 	KASSERT((offset + len) < uint32_t(cache->length), ("buffer overflow"));  in usbd_copy_in()
474 	KASSERT((offset + len) < uint32_t(cache->length), ("buffer overflow"));  in usbd_copy_out()
533 	KASSERT(!xfer->in_progress, ("cannot submit in-progress transfer!"));  in usbd_transfer_submit()
544 		KASSERT(xfer->nframes == 1, ("invalid frame count for interrupt transfer"));  in usbd_transfer_submit()