From owner-freebsd-bugs@FreeBSD.ORG  Thu Jun 18 21:01:46 2009
Return-Path: <owner-freebsd-bugs@FreeBSD.ORG>
Delivered-To: freebsd-bugs@hub.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 0DA411065673;
	Thu, 18 Jun 2009 21:01:46 +0000 (UTC) (envelope-from vwe@FreeBSD.org)
Received: from freefall.freebsd.org (freefall.freebsd.org
	[IPv6:2001:4f8:fff6::28])
	by mx1.freebsd.org (Postfix) with ESMTP id D6C098FC1B;
	Thu, 18 Jun 2009 21:01:45 +0000 (UTC) (envelope-from vwe@FreeBSD.org)
Received: from freefall.freebsd.org (vwe@localhost [127.0.0.1])
	by freefall.freebsd.org (8.14.3/8.14.3) with ESMTP id n5IL1jvL095094;
	Thu, 18 Jun 2009 21:01:45 GMT
	(envelope-from vwe@freefall.freebsd.org)
Received: (from vwe@localhost)
	by freefall.freebsd.org (8.14.3/8.14.3/Submit) id n5IL1jwM095090;
	Thu, 18 Jun 2009 21:01:45 GMT (envelope-from vwe)
Date: Thu, 18 Jun 2009 21:01:45 GMT
Message-Id: <200906182101.n5IL1jwM095090@freefall.freebsd.org>
To: adamk@voicenet.com, vwe@FreeBSD.org, freebsd-bugs@FreeBSD.org
From: vwe@FreeBSD.org
Cc: 
Subject: Re: kern/135692: [mtx] [witness] blockable sleep lock - kernel
	panic on 8.0-CURRENT
X-BeenThere: freebsd-bugs@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Bug reports <freebsd-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-bugs>,
	<mailto:freebsd-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-bugs>
List-Post: <mailto:freebsd-bugs@freebsd.org>
List-Help: <mailto:freebsd-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-bugs>,
	<mailto:freebsd-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Jun 2009 21:01:46 -0000

Synopsis: [mtx] [witness] blockable sleep lock - kernel panic on 8.0-CURRENT

State-Changed-From-To: open->feedback
State-Changed-By: vwe
State-Changed-When: Thu Jun 18 20:54:21 UTC 2009
State-Changed-Why: 
Adam,
while checking your issue for a moment, it seems like your issue
should not be seen when using a kernel w/o INVARIANTS support.
That does not mean, it will work properly and is the suggested way.
To get the real source of trouble, I would like to see a full backtrace.
Please do the following (while vboxdrv.ko is loaded):
``asf -ks `sysctl -n kern.module_path` kernel.asf ''
kgdb /boot/kernel/kernel /path/to/dump/dir
 and inside kgdb:
 add-symbol-file kernel.asf
 bt full

http://www.freebsd.org/cgi/query-pr.cgi?pr=135692