Monitor access to semaphore debugging info
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 25 Apr 2014 23:49:36 +0000 (16:49 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 25 Apr 2014 23:49:36 +0000 (16:49 -0700)
commita185909d6e1e0b7f7c8f709e72560ec786fd88be
treecf803e2c4977852f4ed6f9ca7ddd1bd905aae739
parentc3ce9a8dee4ab8ba92d6307fb61088494ca0ba92
Monitor access to semaphore debugging info

db sem for print_all_sem_info().  Easier than kfuncing.  Feel free to
add other useful things to db.

Also, this adds that much needed newline to print_all_sem_info().  How
many people have looked at that output and not cursed its unreadability?
kern/include/monitor.h
kern/src/kthread.c
kern/src/monitor.c