Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 12 Jan 2014 05:08:10 +0000 (UTC)
From:      Glen Barber <gjb@FreeBSD.org>
To:        doc-committers@freebsd.org, svn-doc-all@freebsd.org, svn-doc-head@freebsd.org
Subject:   svn commit: r43475 - head/en_US.ISO8859-1/books/developers-handbook/kerneldebug
Message-ID:  <201401120508.s0C58Awn036736@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: gjb
Date: Sun Jan 12 05:08:10 2014
New Revision: 43475
URL: http://svnweb.freebsd.org/changeset/doc/43475

Log:
  Add WITNESS_SKIPSPIN to the list of kernel debugging options
  that should be enabled.
  
  Reviewed by:	sbruno (earlier version), kib
  Sponsored by:	The FreeBSD Foundation

Modified:
  head/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml

Modified: head/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml
==============================================================================
--- head/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml	Sat Jan 11 21:58:47 2014	(r43474)
+++ head/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml	Sun Jan 12 05:08:10 2014	(r43475)
@@ -758,6 +758,7 @@ Debugger (msg=0xf01b0383 "Boot flags req
 	options		INVARIANTS
 	options		INVARIANT_SUPPORT
 	options		WITNESS
+	options		WITNESS_SKIPSPIN
 	options		DEBUG_LOCKS
 	options		DEBUG_VFS_LOCKS
 	options		DIAGNOSTIC</programlisting>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201401120508.s0C58Awn036736>