94 	MPASS(IMPLIES(dnode->tn_type == VDIR &&  in tmpfs_lookup1()
220 	MPASS(IFF(error == 0, *vpp != NULLVP && VOP_ISLOCKED(*vpp)));  in tmpfs_lookup1()
257 	MPASS(vap->va_type == VREG || vap->va_type == VSOCK);  in tmpfs_create()
289 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_open()
310 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_open()
335 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_access()
374 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_access()
428 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_setattr()
470 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_setattr()
538 	MPASS(IMPLIES(error == 0, uio->uio_resid == 0));  in tmpfs_write()
539 	MPASS(IMPLIES(error != 0, oldsize == node->tn_size));  in tmpfs_write()
549 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_fsync()
569 	MPASS(VOP_ISLOCKED(dvp));  in tmpfs_remove()
570 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_remove()
581 	MPASS(de != NULL);  in tmpfs_remove()
619 	MPASS(VOP_ISLOCKED(dvp));  in tmpfs_link()
620 	MPASS(cnp->cn_flags & HASBUF);  in tmpfs_link()
621 	MPASS(dvp != vp); /* XXX When can this be false? */  in tmpfs_link()
626 	MPASS(node->tn_links <= TMPFS_LINK_MAX);  in tmpfs_link()
810 	MPASS(VOP_ISLOCKED(tdvp));  in tmpfs_rename()
811 	MPASS(IMPLIES(tvp != NULL, VOP_ISLOCKED(tvp)));  in tmpfs_rename()
812 	MPASS(fcnp->cn_flags & HASBUF);  in tmpfs_rename()
813 	MPASS(tcnp->cn_flags & HASBUF);  in tmpfs_rename()
874 	MPASS(de->td_node == fnode);  in tmpfs_rename()
884 		MPASS(tnode != NULL);  in tmpfs_rename()
904 			MPASS(fnode->tn_type != VDIR &&  in tmpfs_rename()
1023 		MPASS(tcnp->cn_namelen <= MAXNAMLEN);  in tmpfs_rename()
1095 	MPASS(vap->va_type == VDIR);  in tmpfs_mkdir()
1112 	MPASS(VOP_ISLOCKED(dvp));  in tmpfs_rmdir()
1113 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_rmdir()
1134 	MPASS(node->tn_dir.tn_parent == dnode);  in tmpfs_rmdir()
1139 	MPASS(TMPFS_DIRENT_MATCHES(de,  in tmpfs_rmdir()
1203 	MPASS(vap->va_type == VLNK);  in tmpfs_symlink()
1280 	MPASS(uio->uio_offset == 0);  in tmpfs_readlink()
1281 	MPASS(vp->v_type == VLNK);  in tmpfs_readlink()
1346 		MPASS(tm_locked);  in tmpfs_reclaim()
1359 	MPASS(vp->v_data == NULL);  in tmpfs_reclaim()