K 10
svn:author
V 5
markj
K 8
svn:date
V 27
2016-12-06T22:48:28.113859Z
K 7
svn:log
V 411
Require the STACK option for code that captures stacks of running threads.

stack_machdep.c is compiled if either of the DDB or STACK options is
specified, but stack_save_td_running() isn't useable from DDB. Moreover,
stack_save_td_running() works by raising an NMI on the CPU running the
target thread, and the corresponding handler is compiled only if STACK is
configured.

Reported by:	kib
MFC after:	1 week

END