Lines Matching refs:KASSERT
127 KASSERT(mp != NULL);
128 KASSERT(vp != NULL);
129 KASSERT(dvp != NULL);
130 KASSERT(vp != dvp);
131 KASSERT(vp->v_mount == mp);
132 KASSERT(dvp->v_mount == mp);
133 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
134 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
150 KASSERT(mp != NULL);
151 KASSERT(fdvp != NULL);
152 KASSERT(fvp != NULL);
153 KASSERT(tdvp != NULL);
154 KASSERT(fdvp != fvp);
155 KASSERT(fdvp != tvp);
156 KASSERT(tdvp != fvp);
157 KASSERT(tdvp != tvp);
158 KASSERT(fvp != tvp);
159 KASSERT(fdvp->v_type == VDIR);
160 KASSERT(tdvp->v_type == VDIR);
161 KASSERT(fdvp->v_mount == mp);
162 KASSERT(fvp->v_mount == mp);
163 KASSERT(tdvp->v_mount == mp);
164 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
165 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
166 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
167 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
168 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
188 KASSERT(mp != NULL);
189 KASSERT(fdvp != NULL);
190 KASSERT(fvp != NULL);
191 KASSERT(tdvp != NULL);
192 KASSERT(fdvp != fvp);
193 KASSERT(fdvp != tvp);
194 KASSERT(tdvp != fvp);
195 KASSERT(tdvp != tvp);
196 KASSERT(fvp != tvp);
197 KASSERT(fdvp->v_type == VDIR);
198 KASSERT(tdvp->v_type == VDIR);
199 KASSERT(fdvp->v_mount == mp);
200 KASSERT(fvp->v_mount == mp);
201 KASSERT(tdvp->v_mount == mp);
202 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
203 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
204 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
205 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
206 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
225 KASSERT(mp != NULL);
226 KASSERT(dvp != NULL);
227 KASSERT(vp != NULL);
228 KASSERT(dvp != vp);
229 KASSERT(dvp->v_type == VDIR);
230 KASSERT(vp->v_type != VDIR);
231 KASSERT(dvp->v_mount == mp);
232 KASSERT(vp->v_mount == mp);
233 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
234 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
251 KASSERT(mp != NULL);
252 KASSERT(dvp != NULL);
253 KASSERT(vp != NULL);
254 KASSERT(dvp != vp);
255 KASSERT(dvp->v_type == VDIR);
256 KASSERT(vp->v_type != VDIR);
257 KASSERT(dvp->v_mount == mp);
258 KASSERT(vp->v_mount == mp);
259 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
260 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
283 KASSERT(mp != NULL);
284 KASSERT(fdvp != NULL);
285 KASSERT(fcnp != NULL);
286 KASSERT(fulr != NULL);
287 KASSERT(fvp != NULL);
288 KASSERT(tdvp != NULL);
289 KASSERT(tcnp != NULL);
290 KASSERT(tulr != NULL);
291 KASSERT(fulr != tulr);
292 KASSERT(fdvp != fvp);
293 KASSERT(fdvp != tvp);
294 KASSERT(tdvp != fvp);
295 KASSERT(tdvp != tvp);
296 KASSERT(fvp != tvp);
297 KASSERT(fdvp->v_mount == mp);
298 KASSERT(fvp->v_mount == mp);
299 KASSERT(tdvp->v_mount == mp);
300 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
301 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
302 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
303 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
304 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
314 KASSERT(directory_p == ((VTOI(fvp)->i_e2fs_mode & IFMT) == IFDIR));
315 KASSERT((tvp == NULL) || (directory_p == (tvp->v_type == VDIR)));
316 KASSERT((tvp == NULL) || (directory_p ==
320 KASSERT(reparent_p == (VTOI(fdvp)->i_number != VTOI(tdvp)->i_number));
333 KASSERT((nlink_t)VTOI(fvp)->i_e2fs_nlink < EXT2FS_LINK_MAX);
359 KASSERT((nlink_t)VTOI(tdvp)->i_e2fs_nlink < EXT2FS_LINK_MAX);
368 KASSERT(0 < VTOI(tdvp)->i_e2fs_nlink);
384 KASSERT(0 < VTOI(tdvp)->i_e2fs_nlink);
413 KASSERT(fdvp == tdvp);
414 /* XXX check, don't kassert */
415 KASSERT(0 < VTOI(tdvp)->i_e2fs_nlink);
430 /* XXX check, don't kassert */
431 KASSERT(0 < VTOI(tvp)->i_e2fs_nlink);
498 KASSERT(0 < VTOI(fvp)->i_e2fs_nlink);
514 KASSERT(fulr != NULL);
515 KASSERT(tulr != NULL);
516 KASSERT(fulr != tulr);
523 KASSERT(fulr->ulr_count <= from_prev_end);
531 KASSERT(tulr->ulr_count < (EXT2FS_MAXDIRSIZE - to_start));
565 KASSERT(dvp != NULL);
566 KASSERT(dvp->v_mount != NULL);
567 KASSERT(VTOI(dvp) != NULL);
568 KASSERT(fulr != NULL);
569 KASSERT(tulr != NULL);
570 KASSERT(fulr != tulr);
571 KASSERT(ext2fs_rename_ulr_overlap_p(fulr, tulr));
575 KASSERT(ump != NULL);
576 KASSERT(ump == VTOI(dvp)->i_ump);
579 KASSERT(0 < dirblksiz);
580 KASSERT((dirblksiz & (dirblksiz - 1)) == 0);
583 KASSERT(dirblksiz <= mp->mnt_stat.f_iosize);
587 KASSERT(fulr->ulr_reclen < (EXT2FS_MAXDIRSIZE - fulr->ulr_offset));
591 KASSERT(search_start <= search_end);
592 KASSERT((search_end - (search_start &~ (dirblksiz - 1))) <= dirblksiz);
599 KASSERT(dirbuf != NULL);
600 KASSERT(bp != NULL);
607 KASSERT((search_end - search_start) <=
619 KASSERT(search_start <= offset);
620 KASSERT(offset < search_end);
652 KASSERT(reclen < search_end);
653 KASSERT(offset < (search_end - reclen));
659 KASSERT((offset &~ (dirblksiz - 1)) ==
695 KASSERT(mp != NULL);
696 KASSERT(dvp != NULL);
697 KASSERT(cnp != NULL);
698 KASSERT(ulr != NULL);
699 KASSERT(vp != NULL);
700 KASSERT(dvp != vp);
701 KASSERT(dvp->v_mount == mp);
702 KASSERT(vp->v_mount == mp);
703 KASSERT(dvp->v_type == VDIR);
704 KASSERT(vp->v_type != VDIR);
705 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
706 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
712 KASSERT(0 < VTOI(vp)->i_e2fs_nlink);
733 KASSERT(mp != NULL);
734 KASSERT(dvp != NULL);
735 KASSERT(cnp != NULL);
736 KASSERT(ulr_ret != NULL);
737 KASSERT(vp_ret != NULL);
738 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
756 KASSERT(vp != NULL);
773 KASSERT(vp != NULL);
774 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
775 KASSERT(vp->v_type == VDIR);
794 KASSERT(mp != NULL);
795 KASSERT(fdvp != NULL);
796 KASSERT(tdvp != NULL);
797 KASSERT(fdvp != tdvp);
798 KASSERT(intermediate_node_ret != NULL);
799 KASSERT(fdvp->v_mount == mp);
800 KASSERT(tdvp->v_mount == mp);
801 KASSERT(fdvp->v_type == VDIR);
802 KASSERT(tdvp->v_type == VDIR);
816 KASSERT(vp != NULL);
817 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
818 KASSERT(vp->v_mount == mp);
819 KASSERT(vp->v_type == VDIR);
820 KASSERT(!ext2fs_rmdired_p(vp));
854 KASSERT(dvp != NULL);
855 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
886 KASSERT(vp != NULL);
887 KASSERT(ino_ret != NULL);
888 KASSERT(vp->v_type == VDIR);
918 KASSERT(0 < VTOI(fdvp)->i_e2fs_nlink);
957 KASSERT(mp != NULL);
958 KASSERT(vp != NULL);
959 KASSERT(vp->v_mount == mp);
Indexes created Wed Oct 22 06:10:02 GMT 2025