K 10
svn:author
V 2
br
K 8
svn:date
V 27
2018-07-03T13:53:54.545748Z
K 7
svn:log
V 227
o Ensure va_list is declared by including stdarg.h.
o Also move printf.h to go after it since it does require declaration
  of va_list.

This fixes build with latest RISC-V GNU Toolchain with GCC 8.1

Sponsored by:	DARPA, AFRL

END