From owner-cvs-src@FreeBSD.ORG  Tue May 30 20:51:25 2006
Return-Path: <owner-cvs-src@FreeBSD.ORG>
X-Original-To: cvs-src@FreeBSD.org
Delivered-To: cvs-src@FreeBSD.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id D957916B47A;
	Tue, 30 May 2006 20:51:25 +0000 (UTC) (envelope-from dds@FreeBSD.org)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id B407C43DA2;
	Tue, 30 May 2006 20:51:13 +0000 (GMT) (envelope-from dds@FreeBSD.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.13.6/8.13.6) with ESMTP id k4UKnsj6068809;
	Tue, 30 May 2006 20:49:54 GMT (envelope-from dds@repoman.freebsd.org)
Received: (from dds@localhost)
	by repoman.freebsd.org (8.13.6/8.13.4/Submit) id k4UKnsX2068808;
	Tue, 30 May 2006 20:49:54 GMT (envelope-from dds)
Message-Id: <200605302049.k4UKnsX2068808@repoman.freebsd.org>
From: Diomidis Spinellis <dds@FreeBSD.org>
Date: Tue, 30 May 2006 20:49:54 +0000 (UTC)
To: src-committers@FreeBSD.org, cvs-src@FreeBSD.org, cvs-all@FreeBSD.org
X-FreeBSD-CVS-Branch: HEAD
Cc: 
Subject: cvs commit: src/sys/kern vnode_if.src src/sys/tools vnode_if.awk
X-BeenThere: cvs-src@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the src tree <cvs-src.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-src>,
	<mailto:cvs-src-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-src>
List-Post: <mailto:cvs-src@freebsd.org>
List-Help: <mailto:cvs-src-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-src>,
	<mailto:cvs-src-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 30 May 2006 20:51:28 -0000

dds         2006-05-30 20:49:54 UTC

  FreeBSD src repository

  Modified files:
    sys/kern             vnode_if.src 
    sys/tools            vnode_if.awk 
  Log:
  Assertion code specifications are introduced using special character
  sequences that are distinct from comments. %% is used for argument
  locks; %! for pre- and post-conditions.
  
  Revision  Changes    Path
  1.82      +182 -182  src/sys/kern/vnode_if.src
  1.54      +5 -5      src/sys/tools/vnode_if.awk