Home | History | Annotate | Download | only in msdosfs

Lines Matching refs:KASSERT

115 	KASSERT(fdvp != NULL);
116 KASSERT(fvp != NULL);
117 KASSERT(fcnp != NULL);
118 KASSERT(fcnp->cn_nameptr != NULL);
119 KASSERT(tdvp != NULL);
120 KASSERT(tcnp != NULL);
121 KASSERT(fcnp->cn_nameptr != NULL);
122 /* KASSERT(VOP_ISLOCKED(fdvp) != LK_EXCLUSIVE); */
123 /* KASSERT(VOP_ISLOCKED(fvp) != LK_EXCLUSIVE); */
124 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
125 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
126 KASSERT(fdvp->v_type == VDIR);
127 KASSERT(tdvp->v_type == VDIR);
130 KASSERT(kauth_cred_uidmatch(cred, tcnp->cn_cred));
205 KASSERT(mp != NULL);
206 KASSERT(vp != NULL);
207 KASSERT(dvp != NULL);
208 KASSERT(vp != dvp);
209 KASSERT(vp->v_mount == mp);
210 KASSERT(dvp->v_mount == mp);
211 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
212 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
226 KASSERT(vp != NULL);
229 KASSERT(pmp != NULL);
259 KASSERT(mp != NULL);
260 KASSERT(fdvp != NULL);
261 KASSERT(fvp != NULL);
262 KASSERT(tdvp != NULL);
263 KASSERT(fdvp != fvp);
264 KASSERT(fdvp != tvp);
265 KASSERT(tdvp != fvp);
266 KASSERT(tdvp != tvp);
267 KASSERT(fvp != tvp);
268 KASSERT(fdvp->v_mount == mp);
269 KASSERT(fvp->v_mount == mp);
270 KASSERT(tdvp->v_mount == mp);
271 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
272 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
273 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
274 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
275 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
291 KASSERT(mp != NULL);
292 KASSERT(fdvp != NULL);
293 KASSERT(fvp != NULL);
294 KASSERT(tdvp != NULL);
295 KASSERT(fdvp != fvp);
296 KASSERT(fdvp != tvp);
297 KASSERT(tdvp != fvp);
298 KASSERT(tdvp != tvp);
299 KASSERT(fvp != tvp);
300 KASSERT(fdvp->v_mount == mp);
301 KASSERT(fvp->v_mount == mp);
302 KASSERT(tdvp->v_mount == mp);
303 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
304 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
305 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
306 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
307 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
310 KASSERT(pmp != NULL);
327 KASSERT(mp != NULL);
328 KASSERT(dvp != NULL);
329 KASSERT(vp != NULL);
330 KASSERT(dvp != vp);
331 KASSERT(dvp->v_mount == mp);
332 KASSERT(vp->v_mount == mp);
333 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
334 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
349 KASSERT(mp != NULL);
350 KASSERT(dvp != NULL);
351 KASSERT(vp != NULL);
352 KASSERT(dvp != vp);
353 KASSERT(dvp->v_mount == mp);
354 KASSERT(vp->v_mount == mp);
355 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
356 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
359 KASSERT(pmp != NULL);
382 KASSERT(mp != NULL);
383 KASSERT(fdvp != NULL);
384 KASSERT(fcnp != NULL);
385 KASSERT(fmlr != NULL);
386 KASSERT(fvp != NULL);
387 KASSERT(tdvp != NULL);
388 KASSERT(tcnp != NULL);
389 KASSERT(tmlr != NULL);
390 KASSERT(fmlr != tmlr);
391 KASSERT(fdvp != fvp);
392 KASSERT(fdvp != tvp);
393 KASSERT(tdvp != fvp);
394 KASSERT(tdvp != tvp);
395 KASSERT(fvp != tvp);
396 KASSERT(fdvp->v_mount == mp);
397 KASSERT(fvp->v_mount == mp);
398 KASSERT(tdvp->v_mount == mp);
399 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
400 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
401 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
402 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
403 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
421 KASSERT(directory_p ==
423 KASSERT((tvp == NULL) || (directory_p == (tvp->v_type == VDIR)));
424 KASSERT((tvp == NULL) || (directory_p ==
433 KASSERT(reparent_p == (VTODE(fdvp)->de_StartCluster !=
480 KASSERT(VTODE(fvp)->de_refcnt < LONG_MAX);
551 KASSERT(mp != NULL);
552 KASSERT(dvp != NULL);
553 KASSERT(cnp != NULL);
554 KASSERT(mlr != NULL);
555 KASSERT(vp != NULL);
556 KASSERT(dvp != vp);
557 KASSERT(dvp->v_mount == mp);
558 KASSERT(vp->v_mount == mp);
559 KASSERT(dvp->v_type == VDIR);
560 KASSERT(vp->v_type != VDIR);
561 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
562 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
583 KASSERT(mp != NULL);
584 KASSERT(dvp != NULL);
585 KASSERT(cnp != NULL);
586 KASSERT(mlr_ret != NULL);
587 KASSERT(vp_ret != NULL);
588 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
623 KASSERT(vp != NULL);
624 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
625 KASSERT(vp->v_type == VDIR);
644 KASSERT(mp != NULL);
645 KASSERT(fdvp != NULL);
646 KASSERT(tdvp != NULL);
647 KASSERT(fdvp != tdvp);
648 KASSERT(intermediate_node_ret != NULL);
649 KASSERT(fdvp->v_mount == mp);
650 KASSERT(tdvp->v_mount == mp);
651 KASSERT(fdvp->v_type == VDIR);
652 KASSERT(tdvp->v_type == VDIR);
655 KASSERT(pmp != NULL);
669 KASSERT(vp->v_type == VDIR);
705 KASSERT(dvp != NULL);
706 KASSERT(dvp->v_type == VDIR);
730 KASSERT(vp != NULL);
731 KASSERT(cn_ret != NULL);
732 KASSERT(vp->v_type == VDIR);
733 KASSERT(VTODE(vp) != NULL);
736 KASSERT(pmp != NULL);
815 KASSERT(vp != NULL);
821 KASSERT(mp != NULL);
822 KASSERT(vp->v_mount == mp);