From owner-freebsd-current@FreeBSD.ORG  Tue Oct 19 13:13:25 2004
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 2CE4716A4CE
	for <freebsd-current@freebsd.org>;
	Tue, 19 Oct 2004 13:13:25 +0000 (GMT)
Received: from smtp03.mrf.mail.rcn.net (smtp03.mrf.mail.rcn.net
	[207.172.4.62])	by mx1.FreeBSD.org (Postfix) with ESMTP id D907C43D45
	for <freebsd-current@freebsd.org>;
	Tue, 19 Oct 2004 13:13:24 +0000 (GMT)
	(envelope-from roberthuff@rcn.com)
Received: from 209-6-197-67.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com
	([209.6.197.67] helo=jerusalem.litteratus.org.litteratus.org)
	by smtp03.mrf.mail.rcn.net with esmtp (Exim 4.42 #5)
	id 1CJtno-0002NE-22
	for freebsd-current@freebsd.org; Tue, 19 Oct 2004 09:13:24 -0400
From: Robert Huff <roberthuff@rcn.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <16757.4854.809996.993051@jerusalem.litteratus.org>
Date: Tue, 19 Oct 2004 09:13:26 -0400
To: freebsd-current@freebsd.org
In-Reply-To: <20041019023713.GA1072@green.homeunix.org>
References: <20041019023713.GA1072@green.homeunix.org>
X-Mailer: VM 7.17 under 21.5  (beta16) "celeriac" XEmacs Lucid
Subject: Re: WITNESS bug
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 19 Oct 2004 13:13:25 -0000


Brian Fundakowski Feldman writes:

>  You should never not run with WITNESS_SKIPSPIN if you use
>  modules.  Any spin mutexes not listed statically in the witness
>  code will cause your machine to immediately panic.

	If this is true (and I'm not disputing it), shouldn't it be
noted in GENERIC and/or NOTES?  For that matter, what's the penalty
for not automatically including it as part of WITNESS?


			Robert Huff