K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2018-03-20T21:00:45.678808Z
K 7
svn:log
V 419
Use <stdarg.h> instead of <machine/stdarg.h> in userland.

<machine/stdarg.h> is a kernel-only header.  The standard header for
userland is <stdarg.h>.  Using the standard header in userland avoids
weird build errors when building with external compilers that include
their own stdarg.h header.

Reviewed by:	arichardson, brooks, imp
Sponsored by:	DARPA / AFRL
Differential Revision:	https://reviews.freebsd.org/D14776

END