Lines Matching refs:KASSERT
137 KASSERT(mp != NULL);
138 KASSERT(vp != NULL);
139 KASSERT(dvp != NULL);
140 KASSERT(vp != dvp);
141 KASSERT(vp->v_mount == mp);
142 KASSERT(dvp->v_mount == mp);
143 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
144 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
160 KASSERT(mp != NULL);
161 KASSERT(fdvp != NULL);
162 KASSERT(fvp != NULL);
163 KASSERT(tdvp != NULL);
164 KASSERT(fdvp != fvp);
165 KASSERT(fdvp != tvp);
166 KASSERT(tdvp != fvp);
167 KASSERT(tdvp != tvp);
168 KASSERT(fvp != tvp);
169 KASSERT(fdvp->v_type == VDIR);
170 KASSERT(tdvp->v_type == VDIR);
171 KASSERT(fdvp->v_mount == mp);
172 KASSERT(fvp->v_mount == mp);
173 KASSERT(tdvp->v_mount == mp);
174 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
175 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
176 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
177 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
178 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
198 KASSERT(mp != NULL);
199 KASSERT(fdvp != NULL);
200 KASSERT(fvp != NULL);
201 KASSERT(tdvp != NULL);
202 KASSERT(fdvp != fvp);
203 KASSERT(fdvp != tvp);
204 KASSERT(tdvp != fvp);
205 KASSERT(tdvp != tvp);
206 KASSERT(fvp != tvp);
207 KASSERT(fdvp->v_type == VDIR);
208 KASSERT(tdvp->v_type == VDIR);
209 KASSERT(fdvp->v_mount == mp);
210 KASSERT(fvp->v_mount == mp);
211 KASSERT(tdvp->v_mount == mp);
212 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
213 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
214 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
215 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
216 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
235 KASSERT(mp != NULL);
236 KASSERT(dvp != NULL);
237 KASSERT(vp != NULL);
238 KASSERT(dvp != vp);
239 KASSERT(dvp->v_type == VDIR);
240 KASSERT(vp->v_type != VDIR);
241 KASSERT(dvp->v_mount == mp);
242 KASSERT(vp->v_mount == mp);
243 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
244 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
261 KASSERT(mp != NULL);
262 KASSERT(dvp != NULL);
263 KASSERT(vp != NULL);
264 KASSERT(dvp != vp);
265 KASSERT(dvp->v_type == VDIR);
266 KASSERT(vp->v_type != VDIR);
267 KASSERT(dvp->v_mount == mp);
268 KASSERT(vp->v_mount == mp);
269 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
270 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
286 KASSERT(fulr != NULL);
287 KASSERT(tulr != NULL);
288 KASSERT(fulr != tulr);
295 KASSERT(fulr->ulr_count <= from_prev_end);
303 KASSERT(tulr->ulr_count < (LFS_MAXDIRSIZE - to_start));
320 KASSERT(ep != NULL);
321 KASSERT(vp != NULL);
322 KASSERT(VTOI(vp) != NULL);
323 KASSERT(VTOI(vp)->i_ump != NULL);
324 KASSERT(VTOI(vp)->i_lfs != NULL);
356 KASSERT(dvp != NULL);
357 KASSERT(dvp->v_mount != NULL);
358 KASSERT(VTOI(dvp) != NULL);
359 KASSERT(fulr != NULL);
360 KASSERT(tulr != NULL);
361 KASSERT(fulr != tulr);
362 KASSERT(ulfs_rename_ulr_overlap_p(fulr, tulr));
367 KASSERT(ump != NULL);
368 KASSERT(ump == VTOI(dvp)->i_ump);
369 KASSERT(fs == VTOI(dvp)->i_lfs);
372 KASSERT(0 < dirblksiz);
373 KASSERT((dirblksiz & (dirblksiz - 1)) == 0);
376 KASSERT(dirblksiz <= mp->mnt_stat.f_iosize);
380 KASSERT(fulr->ulr_reclen < (LFS_MAXDIRSIZE - fulr->ulr_offset));
384 KASSERT(search_start <= search_end);
385 KASSERT((search_end - (search_start &~ (dirblksiz - 1))) <= dirblksiz);
392 KASSERT(dirbuf != NULL);
393 KASSERT(bp != NULL);
400 KASSERT((search_end - search_start) <=
412 KASSERT(search_start <= offset);
413 KASSERT(offset < search_end);
444 KASSERT(reclen < search_end);
445 KASSERT(offset < (search_end - reclen));
451 KASSERT((offset &~ (dirblksiz - 1)) ==
486 KASSERT(mp != NULL);
487 KASSERT(dvp != NULL);
488 KASSERT(cnp != NULL);
489 KASSERT(ulr != NULL);
490 KASSERT(vp != NULL);
491 KASSERT(dvp != vp);
492 KASSERT(dvp->v_mount == mp);
493 KASSERT(vp->v_mount == mp);
494 KASSERT(dvp->v_type == VDIR);
495 KASSERT(vp->v_type != VDIR);
496 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
497 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
498 KASSERT(cnp->cn_nameiop == DELETE);
520 KASSERT(mp != NULL);
521 KASSERT(dvp != NULL);
522 KASSERT(cnp != NULL);
523 KASSERT(ulr_ret != NULL);
524 KASSERT(vp_ret != NULL);
525 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
543 KASSERT(vp != NULL);
560 KASSERT(vp != NULL);
561 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
562 KASSERT(vp->v_type == VDIR);
581 KASSERT(vp != NULL);
582 KASSERT(ino_ret != NULL);
583 KASSERT(vp->v_type == VDIR);
585 KASSERT(VTOI(vp) != NULL);
586 KASSERT(VTOI(vp)->i_lfs != NULL);
615 KASSERT(mp != NULL);
616 KASSERT(vp != NULL);
617 KASSERT(vp->v_mount == mp);
642 KASSERT(mp != NULL);
643 KASSERT(fdvp != NULL);
644 KASSERT(tdvp != NULL);
645 KASSERT(fdvp != tdvp);
646 KASSERT(intermediate_node_ret != NULL);
647 KASSERT(fdvp->v_mount == mp);
648 KASSERT(tdvp->v_mount == mp);
649 KASSERT(fdvp->v_type == VDIR);
650 KASSERT(tdvp->v_type == VDIR);
664 KASSERT(vp != NULL);
665 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
666 KASSERT(vp->v_mount == mp);
667 KASSERT(vp->v_type == VDIR);
668 KASSERT(!ulfs_rmdired_p(vp));
702 KASSERT(dvp != NULL);
703 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
740 KASSERT(mp != NULL);
741 KASSERT(fdvp != NULL);
742 KASSERT(fcnp != NULL);
743 KASSERT(fulr != NULL);
744 KASSERT(fvp != NULL);
745 KASSERT(tdvp != NULL);
746 KASSERT(tcnp != NULL);
747 KASSERT(tulr != NULL);
748 KASSERT(fulr != tulr);
749 KASSERT(fdvp != fvp);
750 KASSERT(fdvp != tvp);
751 KASSERT(tdvp != fvp);
752 KASSERT(tdvp != tvp);
753 KASSERT(fvp != tvp);
754 KASSERT(fdvp->v_mount == mp);
755 KASSERT(fvp->v_mount == mp);
756 KASSERT(tdvp->v_mount == mp);
757 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
758 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
759 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
760 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
761 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
764 KASSERT(fs == VTOI(tdvp)->i_lfs);
774 KASSERT(directory_p == ((VTOI(fvp)->i_mode & LFS_IFMT) == LFS_IFDIR));
775 KASSERT((tvp == NULL) || (directory_p == (tvp->v_type == VDIR)));
776 KASSERT((tvp == NULL) || (directory_p ==
780 KASSERT(reparent_p == (VTOI(fdvp)->i_number != VTOI(tdvp)->i_number));
795 KASSERT((nlink_t)VTOI(fvp)->i_nlink < LINK_MAX);
822 KASSERT((nlink_t)VTOI(tdvp)->i_nlink < LINK_MAX);
832 KASSERT(0 < VTOI(tdvp)->i_nlink);
852 KASSERT(0 < VTOI(tdvp)->i_nlink);
890 KASSERT(fdvp == tdvp);
891 /* XXX check, don't kassert */
892 KASSERT(0 < VTOI(tdvp)->i_nlink);
996 KASSERT(0 < VTOI(fvp)->i_nlink);
1019 KASSERT(mp != NULL);
1020 KASSERT(fdvp != NULL);
1021 KASSERT(fcnp != NULL);
1022 KASSERT(fde != NULL);
1023 KASSERT(fvp != NULL);
1024 KASSERT(tdvp != NULL);
1025 KASSERT(tcnp != NULL);
1026 KASSERT(tde != NULL);
1027 KASSERT(fdvp != fvp);
1028 KASSERT(fdvp != tvp);
1029 KASSERT(tdvp != fvp);
1030 KASSERT(tdvp != tvp);
1031 KASSERT(fvp != tvp);
1032 KASSERT(fdvp->v_mount == mp);
1033 KASSERT(fvp->v_mount == mp);
1034 KASSERT(tdvp->v_mount == mp);
1035 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
1036 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
1037 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
1038 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
1039 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
1112 KASSERT(fcnp != NULL);
1113 KASSERT(tcnp != NULL);
1114 KASSERT(fcnp != tcnp);
1115 KASSERT(fcnp->cn_nameptr != NULL);
1116 KASSERT(tcnp->cn_nameptr != NULL);
Indexes created Wed Oct 22 13:09:56 GMT 2025