Date: Wed, 12 Dec 2012 23:16:43 -0800 From: Adrian Chadd <adrian@freebsd.org> To: Andriy Gapon <avg@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: <CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg@mail.gmail.com> In-Reply-To: <50C97F8D.6010504@FreeBSD.org> 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>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg>