From owner-svn-src-user@FreeBSD.ORG Wed Feb 6 17:47:24 2013 Return-Path: Delivered-To: svn-src-user@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by hub.freebsd.org (Postfix) with ESMTP id D01C680A; Wed, 6 Feb 2013 17:47:24 +0000 (UTC) (envelope-from attilio@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id C0E12D7F; Wed, 6 Feb 2013 17:47:24 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.5/8.14.5) with ESMTP id r16HlOYd001919; Wed, 6 Feb 2013 17:47:24 GMT (envelope-from attilio@svn.freebsd.org) Received: (from attilio@localhost) by svn.freebsd.org (8.14.5/8.14.5/Submit) id r16HlOpS001918; Wed, 6 Feb 2013 17:47:24 GMT (envelope-from attilio@svn.freebsd.org) Message-Id: <201302061747.r16HlOpS001918@svn.freebsd.org> From: Attilio Rao Date: Wed, 6 Feb 2013 17:47:24 +0000 (UTC) To: src-committers@freebsd.org, svn-src-user@freebsd.org Subject: svn commit: r246422 - user/attilio/vmc-playground/sys/vm X-SVN-Group: user MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-src-user@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "SVN commit messages for the experimental " user" src tree" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 Feb 2013 17:47:24 -0000 Author: attilio Date: Wed Feb 6 17:47:24 2013 New Revision: 246422 URL: http://svnweb.freebsd.org/changeset/base/246422 Log: Enrich comments on newly added assertions. Modified: user/attilio/vmc-playground/sys/vm/vm_page.c Modified: user/attilio/vmc-playground/sys/vm/vm_page.c ============================================================================== --- user/attilio/vmc-playground/sys/vm/vm_page.c Wed Feb 6 17:43:05 2013 (r246421) +++ user/attilio/vmc-playground/sys/vm/vm_page.c Wed Feb 6 17:47:24 2013 (r246422) @@ -1005,6 +1005,8 @@ vm_page_rename(vm_page_t m, vm_object_t * infinity. If the given object is backed by a vnode and it * transitions from having one or more cached pages to none, the * vnode's hold count is reduced. + * + * The object must be locked. */ void vm_page_cache_free(vm_object_t object, vm_pindex_t start, vm_pindex_t end) @@ -1042,7 +1044,7 @@ vm_page_cache_free(vm_object_t object, v * Returns the cached page that is associated with the given * object and offset. If, however, none exists, returns NULL. * - * The free page queue must be locked. + * The free page queue and object must be locked. */ static inline vm_page_t vm_page_cache_lookup(vm_object_t object, vm_pindex_t pindex) @@ -1082,7 +1084,7 @@ vm_page_cache_remove(vm_page_t m) * empty. Offset 'offidxstart' in the original object must * correspond to offset zero in the new object. * - * The new object must be locked. + * The new object and original object must be locked. */ void vm_page_cache_transfer(vm_object_t orig_object, vm_pindex_t offidxstart,