Adjusts printfmt's va_list code for amd64
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 10 Jun 2013 00:35:23 +0000 (17:35 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 10 Jun 2013 00:35:23 +0000 (17:35 -0700)
commitd5ec386dea68efbd9cd5f1fc5cb5354e717c3c93
treefb3426a3f5e276f1bd00fb4e2a371cea0cc375dd
parent95827feb0c80eef6ab8452c3d6e7e08be757db22
Adjusts printfmt's va_list code for amd64

We can't pass a pointer to a va_list on amd64.  There is a mismatch
between a va_list** and a va_list*[1].

We also don't want to use va_copy, since we want the original va_list to
be modified by getint().

For more info:
http://www.bailopan.net/blog/?p=30
http://stackoverflow.com/questions/4958384/what-is-the-format-of-the-x86-64-va-list-structure
http://stackoverflow.com/questions/3369588/pass-va-list-or-pointer-to-va-list
kern/src/printfmt.c