From 211922b97960a0df13cae6dd7f138dd4f1e07cd4 Mon Sep 17 00:00:00 2001 From: Glen Barber Date: Sun, 12 Jan 2014 05:08:10 +0000 Subject: [PATCH] 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 --- .../books/developers-handbook/kerneldebug/chapter.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml b/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml index cc5b911182..eb14b94fce 100644 --- a/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml +++ b/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml @@ -758,6 +758,7 @@ Debugger (msg=0xf01b0383 "Boot flags requested debugger") options INVARIANTS options INVARIANT_SUPPORT options WITNESS + options WITNESS_SKIPSPIN options DEBUG_LOCKS options DEBUG_VFS_LOCKS options DIAGNOSTIC