From owner-freebsd-stable@FreeBSD.ORG  Thu Jan 14 13:19:52 2010
Return-Path: <owner-freebsd-stable@FreeBSD.ORG>
Delivered-To: freebsd-stable@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 9E28B1065676
	for <freebsd-stable@freebsd.org>; Thu, 14 Jan 2010 13:19:52 +0000 (UTC)
	(envelope-from serenity@exscape.org)
Received: from ch-smtp01.sth.basefarm.net (ch-smtp01.sth.basefarm.net
	[80.76.149.212])
	by mx1.freebsd.org (Postfix) with ESMTP id 58B818FC1B
	for <freebsd-stable@freebsd.org>; Thu, 14 Jan 2010 13:19:52 +0000 (UTC)
Received: from c83-253-248-99.bredband.comhem.se ([83.253.248.99]:36527
	helo=mx.exscape.org)
	by ch-smtp01.sth.basefarm.net with esmtp (Exim 4.68)
	(envelope-from <serenity@exscape.org>)
	id 1NVPbw-0003LQ-4s; Thu, 14 Jan 2010 14:19:42 +0100
Received: from [192.168.1.5] (macbookpro [192.168.1.5])
	(using TLSv1 with cipher AES128-SHA (128/128 bits))
	(No client certificate requested)
	by mx.exscape.org (Postfix) with ESMTPSA id 07D4B4C7A9;
	Thu, 14 Jan 2010 14:19:38 +0100 (CET)
Mime-Version: 1.0 (Apple Message framework v1077)
Content-Type: text/plain; charset=us-ascii
From: Thomas Backman <serenity@exscape.org>
In-Reply-To: <E1NVPU6-000Bi4-VH@dilbert.ticketswitch.com>
Date: Thu, 14 Jan 2010 14:19:21 +0100
Content-Transfer-Encoding: quoted-printable
Message-Id: <C7F1B2A8-95D6-4B32-A943-ED8325221CEA@exscape.org>
References: <E1NVPU6-000Bi4-VH@dilbert.ticketswitch.com>
To: Pete French <petefrench@ticketswitch.com>
X-Mailer: Apple Mail (2.1077)
X-Originating-IP: 83.253.248.99
X-Scan-Result: No virus found in message 1NVPbw-0003LQ-4s.
X-Scan-Signature: ch-smtp01.sth.basefarm.net 1NVPbw-0003LQ-4s
	dc671461f3044cd1434800c46212e1e1
Cc: attilio@freebsd.org, freebsd-stable@freebsd.org
Subject: Re: [PATCH] Lockmgr deadlock on STABLE_8
X-BeenThere: freebsd-stable@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Production branch of FreeBSD source code <freebsd-stable.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-stable>, 
	<mailto:freebsd-stable-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-stable>
List-Post: <mailto:freebsd-stable@freebsd.org>
List-Help: <mailto:freebsd-stable-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-stable>,
	<mailto:freebsd-stable-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 14 Jan 2010 13:19:52 -0000


On Jan 14, 2010, at 2:11 PM, Pete French wrote:

>> Also enable INVARIANTS.
>=20
> Including INVARIANTS stops my kernel from building. It
> has been this way since 8.0 (this is why I only
> had WITNESS compiled in). It fails with many many
> errors like this:
>=20
> /usr/src/sys/vm/vm_map.c:575: undefined reference to `_mtx_assert'
>=20
> My kernel config file looks like this:
>=20
> 	include         GENERIC
> 	ident           WITNESS
>=20
> 	options         KDB
> 	options         DDB
> 	options         WITNESS
> 	options         INVARIANTS
INVARIANTS requires INVARIANT_SUPPORT [sic] in the kernel config (see =
comments in GENERIC).

Regards,
Thomas=