Lines Matching refs:KASSERT
117 KASSERT(mp != NULL);
118 KASSERT(vp != NULL);
119 KASSERT(dvp != NULL);
120 KASSERT(vp != dvp);
121 KASSERT(vp->v_mount == mp);
122 KASSERT(dvp->v_mount == mp);
123 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
124 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
140 KASSERT(mp != NULL);
141 KASSERT(fdvp != NULL);
142 KASSERT(fvp != NULL);
143 KASSERT(tdvp != NULL);
144 KASSERT(fdvp != fvp);
145 KASSERT(fdvp != tvp);
146 KASSERT(tdvp != fvp);
147 KASSERT(tdvp != tvp);
148 KASSERT(fvp != tvp);
149 KASSERT(fdvp->v_type == VDIR);
150 KASSERT(tdvp->v_type == VDIR);
151 KASSERT(fdvp->v_mount == mp);
152 KASSERT(fvp->v_mount == mp);
153 KASSERT(tdvp->v_mount == mp);
154 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
155 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
156 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
157 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
158 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
178 KASSERT(mp != NULL);
179 KASSERT(fdvp != NULL);
180 KASSERT(fvp != NULL);
181 KASSERT(tdvp != NULL);
182 KASSERT(fdvp != fvp);
183 KASSERT(fdvp != tvp);
184 KASSERT(tdvp != fvp);
185 KASSERT(tdvp != tvp);
186 KASSERT(fvp != tvp);
187 KASSERT(fdvp->v_type == VDIR);
188 KASSERT(tdvp->v_type == VDIR);
189 KASSERT(fdvp->v_mount == mp);
190 KASSERT(fvp->v_mount == mp);
191 KASSERT(tdvp->v_mount == mp);
192 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
193 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
194 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
195 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
196 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
217 KASSERT(mp != NULL);
218 KASSERT(dvp != NULL);
219 KASSERT(vp != NULL);
220 KASSERT(dvp != vp);
221 KASSERT(dvp->v_type == VDIR);
222 KASSERT(vp->v_type != VDIR);
223 KASSERT(dvp->v_mount == mp);
224 KASSERT(vp->v_mount == mp);
225 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
226 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
243 KASSERT(mp != NULL);
244 KASSERT(dvp != NULL);
245 KASSERT(vp != NULL);
246 KASSERT(dvp != vp);
247 KASSERT(dvp->v_type == VDIR);
248 KASSERT(vp->v_type != VDIR);
249 KASSERT(dvp->v_mount == mp);
250 KASSERT(vp->v_mount == mp);
251 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
252 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
276 KASSERT(mp != NULL);
277 KASSERT(fdvp != NULL);
278 KASSERT(fcnp != NULL);
279 KASSERT(fdep != NULL);
280 KASSERT(fvp != NULL);
281 KASSERT(tdvp != NULL);
282 KASSERT(tcnp != NULL);
283 KASSERT(tdep != NULL);
284 KASSERT(fdep != tdep);
285 KASSERT((tvp == NULL) || (*fdep) != (*tdep));
286 KASSERT((*fdep) != NULL);
287 KASSERT((*fdep)->td_node == VP_TO_TMPFS_NODE(fvp));
288 KASSERT((tvp == NULL) || ((*tdep) != NULL));
289 KASSERT((tvp == NULL) || ((*tdep)->td_node == VP_TO_TMPFS_NODE(tvp)));
290 KASSERT(fdvp != fvp);
291 KASSERT(fdvp != tvp);
292 KASSERT(tdvp != fvp);
293 KASSERT(tdvp != tvp);
294 KASSERT(fvp != tvp);
295 KASSERT(fdvp->v_mount == mp);
296 KASSERT(fvp->v_mount == mp);
297 KASSERT(tdvp->v_mount == mp);
298 KASSERT((tvp == NULL) || (tvp->v_mount == mp));
299 KASSERT(VOP_ISLOCKED(fdvp) == LK_EXCLUSIVE);
300 KASSERT(VOP_ISLOCKED(fvp) == LK_EXCLUSIVE);
301 KASSERT(VOP_ISLOCKED(tdvp) == LK_EXCLUSIVE);
302 KASSERT((tvp == NULL) || (VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));
330 KASSERT((*tdep) != NULL);
331 KASSERT((*tdep)->td_node == VP_TO_TMPFS_NODE(tvp));
332 KASSERT((fvp->v_type == VDIR) == (tvp->v_type == VDIR));
334 KASSERT(VP_TO_TMPFS_NODE(tvp)->tn_size == 0);
335 KASSERT(VP_TO_TMPFS_NODE(tvp)->tn_links == 2);
357 KASSERT(tcnp->cn_namelen <= TMPFS_MAXNAMLEN);
392 KASSERT(mp != NULL);
393 KASSERT(dvp != NULL);
394 KASSERT(cnp != NULL);
395 KASSERT(dep != NULL);
396 KASSERT(vp != NULL);
397 KASSERT(dvp != vp);
398 KASSERT(dvp->v_mount == mp);
399 KASSERT(vp->v_mount == mp);
400 KASSERT(dvp->v_type == VDIR);
401 KASSERT(vp->v_type != VDIR);
402 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
403 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
405 KASSERT((*dep)->td_node == VP_TO_TMPFS_NODE(vp));
428 KASSERT(mp != NULL);
429 KASSERT(dvp != NULL);
430 KASSERT(cnp != NULL);
431 KASSERT(dep_ret != NULL);
432 KASSERT(vp_ret != NULL);
433 KASSERT(VOP_ISLOCKED(dvp) == LK_EXCLUSIVE);
442 KASSERT(vp != NULL);
458 KASSERT(vp != NULL);
459 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
460 KASSERT(vp->v_type == VDIR);
479 KASSERT(mp != NULL);
480 KASSERT(fdvp != NULL);
481 KASSERT(tdvp != NULL);
482 KASSERT(fdvp != tdvp);
483 KASSERT(intermediate_node_ret != NULL);
484 KASSERT(fdvp->v_mount == mp);
485 KASSERT(tdvp->v_mount == mp);
486 KASSERT(fdvp->v_type == VDIR);
487 KASSERT(tdvp->v_type == VDIR);
501 KASSERT(vp != NULL);
502 KASSERT(VOP_ISLOCKED(vp) == LK_EXCLUSIVE);
503 KASSERT(vp->v_mount == mp);
504 KASSERT(vp->v_type == VDIR);
505 KASSERT(!tmpfs_rmdired_p(vp));
513 KASSERT(dnode != NULL);
524 KASSERT(dnode->tn_vnode == fdvp);
566 KASSERT(mp != NULL);
567 KASSERT(vp != NULL);
568 KASSERT(vp->v_mount == mp);
Indexes created Wed Oct 22 13:09:56 GMT 2025