From owner-svn-src-all@FreeBSD.ORG  Thu Dec 13 07:16:45 2012
Return-Path: <owner-svn-src-all@FreeBSD.ORG>
Delivered-To: svn-src-all@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
 by hub.freebsd.org (Postfix) with ESMTP id 706076D5;
 Thu, 13 Dec 2012 07:16:45 +0000 (UTC)
 (envelope-from adrian.chadd@gmail.com)
Received: from mail-vb0-f54.google.com (mail-vb0-f54.google.com
 [209.85.212.54])
 by mx1.freebsd.org (Postfix) with ESMTP id 6BD798FC12;
 Thu, 13 Dec 2012 07:16:44 +0000 (UTC)
Received: by mail-vb0-f54.google.com with SMTP id l1so1815088vba.13
 for <multiple recipients>; Wed, 12 Dec 2012 23:16:44 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=mime-version:sender:in-reply-to:references:date
 :x-google-sender-auth:message-id:subject:from:to:cc:content-type;
 bh=LNkcb8lnXomVOh0Gdf7xAg0L4z9CvO0oOWkHh5I+QXk=;
 b=ipak5/qjmWMDXrhg7cZ9xvCUP5WFRySfsMjEo+RKZ8sZ8yAH3DPk5tM+XyvAPGNBhX
 Ehc7pR5TMI3YlTEa4bY7/VeOmbHUA8mz6bs5m/cFH1kctaTpY2n87r7KFy5eheyj8T59
 lvCHM6F1ZOlBDA0wPPuTaU8Nf6LLB4C/nOVFaUWj9AbfpriPe4VyRQ5wcoxpZMRqpKaT
 A8MyBCUGHSBgJR9x0rbtLCDhlwDQdup6GEZGqwcmo+wzkLYX1kA/ttTP8JvP51LfEYMI
 NdEkizyBe+K9UAwIDIFGgJVdYBrVaHRGmk+O2J3aSg2cHyjSUdOdnsIC6g1S1Z6Xkb1x
 NFxQ==
MIME-Version: 1.0
Received: by 10.220.240.141 with SMTP id la13mr1432406vcb.39.1355383003960;
 Wed, 12 Dec 2012 23:16:43 -0800 (PST)
Sender: adrian.chadd@gmail.com
Received: by 10.58.201.202 with HTTP; Wed, 12 Dec 2012 23:16:43 -0800 (PST)
In-Reply-To: <50C97F8D.6010504@FreeBSD.org>
References: <201212110708.qBB78EWx025288@svn.freebsd.org>
 <201212121046.43706.jhb@freebsd.org>
 <CAJ-Vmo=U04GX+ZyKuzXLwV+PpzU6_dm5BCmL=DWfsmhTVAR+sA@mail.gmail.com>
 <201212121658.49048.jhb@freebsd.org> <50C90567.8080406@FreeBSD.org>
 <50C909BD.9090709@mu.org> <50C97D94.1090603@FreeBSD.org>
 <CAJ-Vmo=Fh=UEcg8oXraU1C8_2T2pQW7SoSP=bpGCyGcSb6hmjQ@mail.gmail.com>
 <50C97F8D.6010504@FreeBSD.org>
Date: Wed, 12 Dec 2012 23:16:43 -0800
X-Google-Sender-Auth: Vayzg2eoYuN5MSuygQWldQG7xkw
Message-ID: <CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg@mail.gmail.com>
Subject: Re: svn commit: r244112 - head/sys/kern
From: Adrian Chadd <adrian@freebsd.org>
To: Andriy Gapon <avg@freebsd.org>
Content-Type: text/plain; charset=ISO-8859-1
Cc: Alfred Perlstein <alfred@freebsd.org>, John Baldwin <jhb@freebsd.org>,
 svn-src-all@freebsd.org, Alfred Perlstein <bright@mu.org>,
 src-committers@freebsd.org, svn-src-head@freebsd.org
X-BeenThere: svn-src-all@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: "SVN commit messages for the entire src tree \(except for &quot;
 user&quot; and &quot; projects&quot; \)" <svn-src-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-all>
List-Post: <mailto:svn-src-all@freebsd.org>
List-Help: <mailto:svn-src-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 13 Dec 2012 07:16:45 -0000

Hi,

I think the fundamental problem here is we have some pretty different
ideas of what KASSERT should be, versus what it actually is in various
parts of the code.

Since we're lost in semantics, we're not going to get any further on
this discussion just for now, so let's take a break and think about
other things for now.



adrian