eca69d62e72c
5b2a5decd1e6
1
2
3
4
5
6
/*- * This file is in the public domain. */ /* $FreeBSD$ */ #include <x86/stdarg.h>