Lines Matching refs:KASSERT
183 KASSERT(fdvp != NULL);
184 KASSERT(fvp != NULL);
185 KASSERT(fcnp != NULL);
186 KASSERT(fcnp->cn_nameptr != NULL);
187 KASSERT(tdvp != NULL);
188 KASSERT(tcnp != NULL);
189 KASSERT(fcnp->cn_nameptr != NULL);
190 /* KASSERT(VOP_ISLOCKED(fdvp) != LK_EXCLUSIVE); */
191 /* KASSERT(VOP_ISLOCKED(fvp) != LK_EXCLUSIVE); */
192 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
193 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
194 KASSERT(fdvp->v_type == VDIR);
195 KASSERT(tdvp->v_type == VDIR);
204 KASSERT(kauth_cred_uidmatch(cred, tcnp->cn_cred));
253 KASSERT(ops != NULL);
254 KASSERT(fdvp != NULL);
255 KASSERT(fcnp != NULL);
256 KASSERT(tdvp != NULL);
257 KASSERT(tcnp != NULL);
258 /* KASSERT(VOP_ISLOCKED(fdvp) != LK_EXCLUSIVE); */
259 /* KASSERT(VOP_ISLOCKED(tdvp) != LK_EXCLUSIVE); */
260 KASSERT(fdvp->v_type == VDIR);
261 KASSERT(tdvp->v_type == VDIR);
262 KASSERT(fdvp->v_mount == tdvp->v_mount);
263 KASSERT(fcnp != tcnp);
264 KASSERT(fcnp->cn_nameiop == DELETE);
265 KASSERT(tcnp->cn_nameiop == RENAME);
268 KASSERT(kauth_cred_uidmatch(cred, fcnp->cn_cred));
269 KASSERT(kauth_cred_uidmatch(cred, tcnp->cn_cred));
272 KASSERT(mp != NULL);
273 KASSERT(mp == tdvp->v_mount);
275 KASSERT((mp->mnt_flag & MNT_RDONLY) == 0);
290 KASSERT(fvp != NULL);
291 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
292 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
293 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
294 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
302 KASSERT(tvp != NULL);
325 KASSERT(fvp != tvp);
326 KASSERT((fdvp != tdvp) ||
349 KASSERT((fvp->v_type == VDIR) == (tvp->v_type == VDIR));
397 KASSERT(fdvp != NULL);
398 KASSERT(fvp != NULL);
399 KASSERT(tdvp != NULL);
400 KASSERT(fdvp != fvp);
401 KASSERT(fdvp != tvp);
402 KASSERT(tdvp != fvp);
403 KASSERT(tdvp != tvp);
404 KASSERT(fvp != tvp);
405 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
406 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
407 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
408 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
414 KASSERT((tvp == NULL) || (directory_p == (tvp->v_type == VDIR)));
447 KASSERT(fdvp != NULL);
448 KASSERT(fvp != NULL);
449 KASSERT(tdvp != NULL);
450 KASSERT(fdvp != fvp);
451 KASSERT(fdvp != tvp);
452 KASSERT(tdvp != fvp);
453 KASSERT(tdvp != tvp);
454 KASSERT(fvp != tvp);
455 KASSERT(fdvp->v_type == VDIR);
456 KASSERT(tdvp->v_type == VDIR);
507 KASSERT(mp != NULL);
508 KASSERT(fdvp != NULL);
509 KASSERT(fcnp != NULL);
510 KASSERT(fvp_ret != NULL);
511 KASSERT(tdvp != NULL);
512 KASSERT(tcnp != NULL);
513 KASSERT(tvp_ret != NULL);
514 KASSERT(fvp_ret != tvp_ret);
515 KASSERT(fdvp->v_type == VDIR);
516 KASSERT(tdvp->v_type == VDIR);
517 KASSERT(fdvp->v_mount == mp);
518 KASSERT(tdvp->v_mount == mp);
532 KASSERT(*fvp_ret != NULL);
533 KASSERT(VOP_ISLOCKED(*fvp_ret) == LK_EXCLUSIVE);
534 KASSERT((*tvp_ret == NULL) || (VOP_ISLOCKED(*tvp_ret) == LK_EXCLUSIVE));
535 KASSERT(*fvp_ret != fdvp);
536 KASSERT(*fvp_ret != tdvp);
537 KASSERT(*tvp_ret != fdvp);
538 KASSERT(*tvp_ret != tdvp);
557 KASSERT(ops != NULL);
558 KASSERT(mp != NULL);
559 KASSERT(dvp != NULL);
560 KASSERT(fcnp != NULL);
561 KASSERT(fvp_ret != NULL);
562 KASSERT(tcnp != NULL);
563 KASSERT(tvp_ret != NULL);
564 KASSERT(dvp->v_type == VDIR);
565 KASSERT(dvp->v_mount == mp);
577 KASSERT(fcnp->cn_nameiop == DELETE);
582 KASSERT(fvp != NULL);
589 KASSERT(fvp != dvp);
591 KASSERT(tcnp->cn_nameiop == RENAME);
598 KASSERT(tvp != NULL);
606 KASSERT(tvp != dvp);
613 KASSERT(fvp->v_mount == mp);
622 KASSERT(tvp->v_mount == mp);
630 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
631 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
632 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
664 KASSERT(ops != NULL);
665 KASSERT(mp != NULL);
666 KASSERT(fdvp != NULL);
667 KASSERT(fcnp != NULL);
668 KASSERT(fvp_ret != NULL);
669 KASSERT(tdvp != NULL);
670 KASSERT(tcnp != NULL);
671 KASSERT(tvp_ret != NULL);
672 KASSERT(fdvp != tdvp);
673 KASSERT(fcnp != tcnp);
674 KASSERT(fcnp->cn_nameiop == DELETE);
675 KASSERT(tcnp->cn_nameiop == RENAME);
676 KASSERT(fvp_ret != tvp_ret);
677 KASSERT(fdvp->v_type == VDIR);
678 KASSERT(tdvp->v_type == VDIR);
679 KASSERT(fdvp->v_mount == mp);
680 KASSERT(tdvp->v_mount == mp);
702 KASSERT(fvp != NULL);
774 KASSERT(ops != NULL);
775 KASSERT(mp != NULL);
776 KASSERT(a_dvp != NULL);
777 KASSERT(a_cnp != NULL);
778 KASSERT(a_vp_ret != NULL);
779 KASSERT(b_dvp != NULL);
780 KASSERT(b_cnp != NULL);
781 KASSERT(b_vp_ret != NULL);
782 KASSERT(a_dvp != b_dvp);
783 KASSERT(a_vp_ret != b_vp_ret);
784 KASSERT(a_dvp->v_type == VDIR);
785 KASSERT(b_dvp->v_type == VDIR);
786 KASSERT(a_dvp->v_mount == mp);
787 KASSERT(b_dvp->v_mount == mp);
788 KASSERT(a_missing_ok != b_missing_ok);
813 KASSERT(a_vp != NULL);
828 KASSERT(a_vp != a_dvp);
829 KASSERT(a_vp != b_dvp);
849 KASSERT(a_vp->v_mount == mp);
880 KASSERT(b_vp != NULL);
902 KASSERT(b_vp != b_dvp);
903 KASSERT(b_vp != a_dvp);
914 KASSERT(a_vp->v_mount == mp);
926 KASSERT(b_vp->v_mount == mp);
934 KASSERT(VOP_ISLOCKED(a_dvp) == LK_EXCLUSIVE);
935 KASSERT(VOP_ISLOCKED(b_dvp) == LK_EXCLUSIVE);
936 KASSERT(a_missing_ok || (a_vp != NULL));
937 KASSERT(b_missing_ok || (b_vp != NULL));
938 KASSERT((a_vp == NULL) || (VOP_ISLOCKED(a_vp) == LK_EXCLUSIVE));
939 KASSERT((b_vp == NULL) || (VOP_ISLOCKED(b_vp) == LK_EXCLUSIVE));
977 KASSERT(ops != NULL);
978 KASSERT(mp != NULL);
979 KASSERT(fdvp != NULL);
980 KASSERT(fvp != NULL);
981 KASSERT(fdvp != fvp);
982 KASSERT(fdvp != tvp);
983 KASSERT(tdvp != tvp);
984 KASSERT(tdvp != fvp);
985 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
986 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
987 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
988 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
1016 KASSERT(ops != NULL);
1017 KASSERT(mp != NULL);
1018 KASSERT(dvp != NULL);
1019 KASSERT(cnp != NULL);
1020 KASSERT(vp != NULL);
1021 KASSERT(dvp != vp);
1022 KASSERT(dvp->v_type == VDIR);
1023 KASSERT(vp->v_type != VDIR);
1024 KASSERT(dvp->v_mount == mp);
1025 KASSERT(vp->v_mount == mp);
1026 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
1027 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
1091 KASSERT(fdvp != NULL);
1092 KASSERT(fvp != NULL);
1093 KASSERT(tdvp != NULL);
1094 KASSERT(fdvp != fvp);
1095 KASSERT(fdvp != tvp);
1096 KASSERT(tdvp != fvp);
1097 KASSERT(tdvp != tvp);
1098 KASSERT(fvp != tvp);
1099 KASSERT(fdvp->v_type == VDIR);
1100 KASSERT(tdvp->v_type == VDIR);
1101 KASSERT(fdvp->v_mount == fvp->v_mount);
1102 KASSERT(fdvp->v_mount == tdvp->v_mount);
1103 KASSERT((tvp == NULL) || (fdvp->v_mount == tvp->v_mount));
1104 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
1105 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
1106 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
1107 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
1183 KASSERT(dvp != NULL);
1184 KASSERT(vp != NULL);
1185 KASSERT(dvp != vp);
1186 KASSERT(dvp->v_type == VDIR);
1187 KASSERT(vp->v_type != VDIR);
1188 KASSERT(dvp->v_mount == vp->v_mount);
1189 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
1190 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
Indexes created Wed Oct 22 06:10:02 GMT 2025