K 10 svn:author V 2 ed K 8 svn:date V 27 2009-02-27T13:28:54.610728Z K 7 svn:log V 291 Remove redundant code in printf() and vprintf(). printf() and vprintf() are exactly the same, except the way arguments are passed. Just like we see in other pieces of code (i.e. libc's printf()), implement printf() using vprintf(). Submitted by: Christoph Mallon END