Date: Thu, 13 Dec 2012 11:29:15 +0200 From: Andriy Gapon <avg@FreeBSD.org> To: Adrian Chadd <adrian@FreeBSD.org> 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 Subject: Re: svn commit: r244112 - head/sys/kern Message-ID: <50C99FEB.6050500@FreeBSD.org> In-Reply-To: <CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg@mail.gmail.com> References: <201212110708.qBB78EWx025288@svn.freebsd.org> <201212121046.43706.jhb@freebsd.org> <CAJ-Vmo=U04GX%2BZyKuzXLwV%2BPpzU6_dm5BCmL=DWfsmhTVAR%2BsA@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> <CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
on 13/12/2012 09:16 Adrian Chadd said the following: > 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. +1 :) -- Andriy Gapon
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?50C99FEB.6050500>