Fixes user debugfmt printfs
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 21 Jun 2013 20:21:03 +0000 (13:21 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 21 Jun 2013 20:39:32 +0000 (13:39 -0700)
commit17d1995e1fd82c33cf18516eceac3cd024dc97b3
tree9cf7a8d9b9b216efd07853d259abbf6e6a9b3096
parentfe786485f73677148b69662777107971d40d4562
Fixes user debugfmt printfs

Applies the same va_args printf patch as in the kernel from d5ec386d.
user/parlib/debugfmt.c