89 	MPASS(handle == NULL);  in tmpfs_pager_alloc()
90 	MPASS(offset == 0);  in tmpfs_pager_alloc()
230 	MPASS(node->tn_type == VREG);  in tmpfs_pager_freespace()
253 	MPASS(node->tn_type == VREG);  in tmpfs_page_inserted()
272 	MPASS(node->tn_type == VREG);  in tmpfs_page_removed()
467 		MPASS(vm_page_all_valid(m));  in tmpfs_partial_page_invalidate()
549 	MPASS(IMPLIES(tmp->tm_root == NULL, parent == NULL && type == VDIR));  in tmpfs_alloc_node()
551 	MPASS((type == VLNK) ^ (target == NULL));  in tmpfs_alloc_node()
552 	MPASS((type == VBLK || type == VCHR) ^ (rdev == VNOVAL));  in tmpfs_alloc_node()
603 		MPASS(parent != nnode);  in tmpfs_alloc_node()
604 		MPASS(IMPLIES(parent == NULL, tmp->tm_root == NULL));  in tmpfs_alloc_node()
620 		MPASS(strlen(target) < MAXPATHLEN);  in tmpfs_alloc_node()
717 		MPASS(tmp->tm_nodes_inuse > 0);  in tmpfs_free_node_locked()
728 	MPASS(node->tn_vnode == NULL);  in tmpfs_free_node_locked()
729 	MPASS((node->tn_vpstate & TMPFS_VNODE_ALLOCATING) == 0);  in tmpfs_free_node_locked()
829 	MPASS(de->td_cookie >= TMPFS_DIRCOOKIE_MIN);  in tmpfs_dirent_cookie()
900 		MPASS(node->tn_links > 0);  in tmpfs_free_dirent()
963 		MPASS((node->tn_vpstate & TMPFS_VNODE_DOOMED) == 0);  in tmpfs_alloc_vp()
1034 	MPASS(vp != NULL);  in tmpfs_alloc_vp()
1077 		MPASS(node->tn_dir.tn_parent != NULL);  in tmpfs_alloc_vp()
1105 	MPASS(node->tn_vpstate & TMPFS_VNODE_ALLOCATING);  in tmpfs_alloc_vp()
1121 		MPASS(*vpp != NULL);  in tmpfs_alloc_vp()
1124 		MPASS(*vpp == node->tn_vnode);  in tmpfs_alloc_vp()
1185 		MPASS(dnode->tn_links <= TMPFS_LINK_MAX);  in tmpfs_alloc_file()
1191 		MPASS(parent != NULL);  in tmpfs_alloc_file()
1246 	MPASS(dc->tdc_tree != NULL);  in tmpfs_dir_next()
1256 		MPASS(dc->tdc_current != NULL);  in tmpfs_dir_next()
1281 	MPASS(cookie >= TMPFS_DIRCOOKIE_MIN);  in tmpfs_dir_lookup_cookie()
1294 			MPASS(tmpfs_dirent_dup(de));  in tmpfs_dir_lookup_cookie()
1303 		MPASS(de == NULL);  in tmpfs_dir_lookup_cookie()
1318 		MPASS(dc->tdc_current != NULL);  in tmpfs_dir_lookup_cookie()
1347 	MPASS(IMPLIES(cnp->cn_namelen == 1, cnp->cn_nameptr[0] != '.'));  in tmpfs_dir_lookup()
1348 	MPASS(IMPLIES(cnp->cn_namelen == 2, !(cnp->cn_nameptr[0] == '.' &&  in tmpfs_dir_lookup()
1390 		MPASS(tmpfs_dirent_dup(nde));  in tmpfs_dir_attach_dup()
1430 		MPASS(tmpfs_dirent_dup(nde));  in tmpfs_dir_attach_dup()
1431 		MPASS(pde->td_cookie > nde->td_cookie);  in tmpfs_dir_attach_dup()
1432 		MPASS(nde->td_cookie > de->td_cookie);  in tmpfs_dir_attach_dup()
1451 	MPASS(de->td_namelen > 0);  in tmpfs_dir_attach()
1452 	MPASS(de->td_hash >= TMPFS_DIRCOOKIE_MIN);  in tmpfs_dir_attach()
1453 	MPASS(de->td_cookie == de->td_hash);  in tmpfs_dir_attach()
1459 	MPASS(!tmpfs_dirent_dup(de));  in tmpfs_dir_attach()
1468 		MPASS(!tmpfs_dirent_dup(xde));  in tmpfs_dir_attach()
1510 			MPASS(tmpfs_dirent_duphead(xde));  in tmpfs_dir_detach()
1519 				MPASS(xde->td_node == NULL);  in tmpfs_dir_detach()
1568 	MPASS(uio->uio_offset == TMPFS_DIRCOOKIE_DOT);  in tmpfs_dir_getdotdent()
1604 	MPASS(uio->uio_offset == TMPFS_DIRCOOKIE_DOTDOT);  in tmpfs_dir_getdotdotdent()
1744 		MPASS(de->td_namelen < sizeof(d.d_name));  in tmpfs_dir_getdents()
1770 				MPASS(*ncookies < maxcookies);  in tmpfs_dir_getdents()
1809 	MPASS(de != NULL && de->td_node == NULL);  in tmpfs_dir_whiteout_remove()
1830 	MPASS(vp->v_type == VREG);  in tmpfs_reg_resize()
1831 	MPASS(newsize >= 0);  in tmpfs_reg_resize()
1844 	MPASS(oldpages == uobj->size);  in tmpfs_reg_resize()
2129 	MPASS(uid != VNOVAL || gid != VNOVAL);  in tmpfs_chown()
2134 	MPASS(uid != VNOVAL && gid != VNOVAL);  in tmpfs_chown()