Add trace_printf()
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 30 Sep 2016 16:34:57 +0000 (12:34 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 6 Oct 2016 19:41:48 +0000 (15:41 -0400)
commite3de9e5d69c6248a11ca178f9753c438fd19f55d
tree3d1ddb6c545aae165f3cd91dc9562d5f9d739b1d
parent8cf0781cb9d963bade09bf828510c4d19bb4c85f
Add trace_printf()

This is a helper for userspace to print into the kernel's trace_printk()
log.  It's extremely useful for fast print debugging.

The trace_printk() log currently just maintains the last N entries, with
older entries replaced by newer ones.  You can cat it or tail it
repeatedly.  The log file is usually at /prof/kptrace.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/debug.c
user/parlib/include/parlib/ros_debug.h