svn commit: r43475 - head/en_US.ISO8859-1/books/developers-handbook/kerneldebug

[Glen Barber]

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>