99 	MPASS(IMPLIES(dnode->tn_type == VDIR &&  in tmpfs_lookup1()
225 	MPASS(IFF(error == 0, *vpp != NULLVP && VOP_ISLOCKED(*vpp)));  in tmpfs_lookup1()
262 	MPASS(vap->va_type == VREG || vap->va_type == VSOCK);  in tmpfs_create()
319 	MPASS(fp == NULL || fp->f_data == NULL);  in tmpfs_open()
346 		MPASS(node->tn_type == VREG);  in tmpfs_fo_close()
388 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_access()
433 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_access()
533 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_setattr()
576 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_setattr()
620 	MPASS(node->tn_type == VREG);  in tmpfs_read_pgcache()
621 	MPASS(node->tn_refcount >= 1);  in tmpfs_read_pgcache()
626 	MPASS(object->type == tmpfs_pager_type);  in tmpfs_read_pgcache()
627 	MPASS((object->flags & (OBJ_ANON | OBJ_DEAD | OBJ_SWAP)) ==  in tmpfs_read_pgcache()
692 	MPASS(IMPLIES(error == 0, uio->uio_resid == 0));  in tmpfs_write()
693 	MPASS(IMPLIES(error != 0, oldsize == node->tn_size));  in tmpfs_write()
703 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_fsync()
723 	MPASS(VOP_ISLOCKED(dvp));  in tmpfs_remove()
724 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_remove()
735 	MPASS(de != NULL);  in tmpfs_remove()
774 	MPASS(VOP_ISLOCKED(dvp));  in tmpfs_link()
775 	MPASS(cnp->cn_flags & HASBUF);  in tmpfs_link()
776 	MPASS(dvp != vp); /* XXX When can this be false? */  in tmpfs_link()
781 	MPASS(node->tn_links <= TMPFS_LINK_MAX);  in tmpfs_link()
966 	MPASS(VOP_ISLOCKED(tdvp));  in tmpfs_rename()
967 	MPASS(IMPLIES(tvp != NULL, VOP_ISLOCKED(tvp)));  in tmpfs_rename()
968 	MPASS(fcnp->cn_flags & HASBUF);  in tmpfs_rename()
969 	MPASS(tcnp->cn_flags & HASBUF);  in tmpfs_rename()
1039 	MPASS(de->td_node == fnode);  in tmpfs_rename()
1049 		MPASS(tnode != NULL);  in tmpfs_rename()
1069 			MPASS(fnode->tn_type != VDIR &&  in tmpfs_rename()
1188 		MPASS(tcnp->cn_namelen <= MAXNAMLEN);  in tmpfs_rename()
1265 	MPASS(vap->va_type == VDIR);  in tmpfs_mkdir()
1282 	MPASS(VOP_ISLOCKED(dvp));  in tmpfs_rmdir()
1283 	MPASS(VOP_ISLOCKED(vp));  in tmpfs_rmdir()
1304 	MPASS(node->tn_dir.tn_parent == dnode);  in tmpfs_rmdir()
1309 	MPASS(TMPFS_DIRENT_MATCHES(de,  in tmpfs_rmdir()
1371 	MPASS(vap->va_type == VLNK);  in tmpfs_symlink()
1448 	MPASS(uio->uio_offset == 0);  in tmpfs_readlink()
1449 	MPASS(vp->v_type == VLNK);  in tmpfs_readlink()
1559 	MPASS(vp->v_data == NULL);  in tmpfs_reclaim()