Semaphore debugging
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 9 Oct 2013 19:21:39 +0000 (12:21 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 16 Jan 2014 02:23:22 +0000 (18:23 -0800)
commitacbd915322f2ae7d43e95d58535bc47dc3218429
tree224abf1aff8985f4e2b3fc0e1496306c2cb1583b
parent174eb643454b7e33eba5fa3085e6b2f23d92a3ef
Semaphore debugging

Turn it on with CONFIG_SEMAPHORE_DEBUG.  The most useful way to use it
is via kfunc print_all_sem_info.
Kconfig
kern/include/kthread.h
kern/src/kthread.c