Override glibc's printf for vcore context
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 26 Oct 2015 21:55:39 +0000 (17:55 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Oct 2015 16:05:13 +0000 (12:05 -0400)
commit36acdc59f8952b482afcfe1a638826e4a205ff2a
treeec49300b13ca33841864fcaa14d965f2a4e45ada
parentd2a9162fc9d310d2dfb322c9f783ba0235f6c489
Override glibc's printf for vcore context

Our printf is safe from vcore context.  Otherwise, glibc's printf may
run off the end of the vcore stack, depending on whether or not the
output stream is in buffered mode.

This only overrides printf, not functions like fprintf, vprintf, or any
of the other printf functions.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/debug.c
user/parlib/include/common.h
user/parlib/include/ros_debug.h
user/parlib/include/stdio.h [new file with mode: 0644]