Add printx to userspace (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Nov 2017 16:15:11 +0000 (11:15 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Nov 2017 16:49:34 +0000 (11:49 -0500)
commit248d1a8357002b353c435ebacaf0d03861ab9f7f
tree95a3a1c8d2c1fe92fdcea52a315a822f2d723b9d
parent4b8d1219a8b5578f54cbd382caf0150cc15fa986
Add printx to userspace (XCC)

Userspace now has printx (to stderr) and trace_printx (to dmesg).  We also
have all the variants of I_AM_HERE (_x, _t, _tx).

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/ros/procdata.h
kern/src/monitor.c
user/parlib/include/parlib/ros_debug.h
user/parlib/include/parlib/stdio.h