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);
164 KASSERT(mp != NULL);
165 KASSERT(fdvp != NULL);
166 KASSERT(fvp != NULL);
167 KASSERT(tdvp != NULL);
168 KASSERT(fdvp != fvp);
169 KASSERT(fdvp != tvp);
170 KASSERT(tdvp != fvp);
171 KASSERT(tdvp != tvp);
172 KASSERT(fvp != tvp);
173 KASSERT(fdvp->v_type == VDIR);
174 KASSERT(tdvp->v_type == VDIR);
175 KASSERT(fdvp->v_mount == mp);
176 KASSERT(fvp->v_mount == mp);
177 KASSERT(tdvp->v_mount == mp);
178 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
179 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
180 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
181 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
182 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
209 KASSERT(mp != NULL);
210 KASSERT(fdvp != NULL);
211 KASSERT(fvp != NULL);
212 KASSERT(tdvp != NULL);
213 KASSERT(fdvp != fvp);
214 KASSERT(fdvp != tvp);
215 KASSERT(tdvp != fvp);
216 KASSERT(tdvp != tvp);
217 KASSERT(fvp != tvp);
218 KASSERT(fdvp->v_type == VDIR);
219 KASSERT(tdvp->v_type == VDIR);
220 KASSERT(fdvp->v_mount == mp);
221 KASSERT(fvp->v_mount == mp);
222 KASSERT(tdvp->v_mount == mp);
223 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
224 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
225 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
226 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
227 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
260 KASSERT(mp != NULL);
261 KASSERT(dvp != NULL);
262 KASSERT(vp != NULL);
263 KASSERT(dvp != vp);
264 KASSERT(dvp->v_type == VDIR);
265 KASSERT(vp->v_type != VDIR);
266 KASSERT(dvp->v_mount == mp);
267 KASSERT(vp->v_mount == mp);
268 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
269 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
293 KASSERT(mp != NULL);
294 KASSERT(dvp != NULL);
295 KASSERT(vp != NULL);
296 KASSERT(dvp != vp);
297 KASSERT(dvp->v_type == VDIR);
298 KASSERT(vp->v_type != VDIR);
299 KASSERT(dvp->v_mount == mp);
300 KASSERT(vp->v_mount == mp);
301 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
302 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
331 KASSERT(mp != NULL);
332 KASSERT(fdvp != NULL);
333 KASSERT(fcnp != NULL);
334 KASSERT(fvp != NULL);
335 KASSERT(tdvp != NULL);
336 KASSERT(tcnp != NULL);
337 KASSERT(fdvp != fvp);
338 KASSERT(fdvp != tvp);
339 KASSERT(tdvp != fvp);
340 KASSERT(tdvp != tvp);
341 KASSERT(fvp != tvp);
342 KASSERT(fdvp->v_mount == mp);
343 KASSERT(fvp->v_mount == mp);
344 KASSERT(tdvp->v_mount == mp);
345 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
346 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
347 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
348 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
349 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
371 KASSERT(tnode->efe != NULL);
417 KASSERT(mp != NULL);
418 KASSERT(dvp != NULL);
419 KASSERT(cnp != NULL);
420 KASSERT(vp != NULL);
421 KASSERT(dvp != vp);
422 KASSERT(dvp->v_mount == mp);
423 KASSERT(vp->v_mount == mp);
424 KASSERT(dvp->v_type == VDIR);
425 KASSERT(vp->v_type != VDIR);
426 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
427 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
438 KASSERT(udf_node->efe != NULL);
460 KASSERT(mp != NULL);
461 KASSERT(dvp != NULL);
462 KASSERT(cnp != NULL);
463 KASSERT(vp_ret != NULL);
464 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
501 KASSERT(vp != NULL);
502 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
503 KASSERT(vp->v_type == VDIR);
527 KASSERT(mp != NULL);
528 KASSERT(fdvp != NULL);
529 KASSERT(tdvp != NULL);
530 KASSERT(fdvp != tdvp);
531 KASSERT(intermediate_node_ret != NULL);
532 KASSERT(fdvp->v_mount == mp);
533 KASSERT(tdvp->v_mount == mp);
534 KASSERT(fdvp->v_type == VDIR);
535 KASSERT(tdvp->v_type == VDIR);
556 KASSERT(udf_compare_icb(&VTOI(fdvp)->loc, &VTOI(tdvp)->loc) != 0);
563 KASSERT(vp != NULL);
564 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
565 KASSERT(vp->v_mount == mp);
566 KASSERT(vp->v_type == VDIR);
567 KASSERT(!udf_rmdired_p(vp));
623 KASSERT(dvp != NULL);
624 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
654 KASSERT(mp != NULL);
655 KASSERT(vp != NULL);
656 KASSERT(vp->v_mount == mp);