Update due to RTEMS printer API changes

freebsd/sys/kern/kern_intr.c

@@ -59,7 +59,6 @@ __FBSDID("$FreeBSD$");
 #include <machine/cpu.h>
 #ifndef __rtems__
 #include <machine/md_var.h>
-#include <machine/stdarg.h>
 #else /* __rtems__ */
   #ifdef INTR_FILTER
     #error INTR_FILTER is currently not suppported with RTEMS
@@ -67,6 +66,7 @@ __FBSDID("$FreeBSD$");
   #include <machine/rtems-bsd-thread.h>
   #define RTEMSBSD_SWI_WAKEUP_EVENT RTEMS_EVENT_31
 #endif /* __rtems__ */
+#include <machine/stdarg.h>
 #ifdef DDB
 #include <ddb/ddb.h>
 #include <ddb/db_sym.h>

rtemsbsd/include/machine/stdarg.h

@@ -1 +1 @@
-/* EMPTY */
+#include <stdarg.h>

rtemsbsd/rtems/rtems-kernel-panic.c

@@ -44,6 +44,8 @@
 #include <sys/types.h>
 #include <sys/systm.h>
 
+#include <stdarg.h>
+
 void
 panic(const char *fmt, ...)
 {

rtemsbsd/rtems/rtems-kernel-program.c

@@ -50,6 +50,7 @@
 #include <sys/mutex.h>
 
 #include <setjmp.h>
+#include <stdarg.h>
 #include <stdlib.h>
 
 #undef printf

testsuite/include/rtems/bsd/test/default-init.h

@@ -9,6 +9,7 @@
 #include <assert.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <rtems/printer.h>
 #include <rtems/stackchk.h>
 #include <rtems/bsd/bsd.h>
 

testsuite/include/rtems/bsd/test/default-network-init.h

@@ -44,6 +44,7 @@
 #include <machine/rtems-bsd-commands.h>
 
 #include <rtems.h>
+#include <rtems/printer.h>
 #include <rtems/stackchk.h>
 #include <rtems/bsd/bsd.h>