diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-06-23 14:06:21 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-06-23 14:08:02 +0200 |
commit | 32fd70213848aafedb754b947e9fd6eaf819b1d3 (patch) | |
tree | ace42ffacc0f2b430cb8b1143a91713b49aa70ae /freebsd | |
parent | Update rtems_waf to pick up the long command line fix. (diff) | |
download | rtems-libbsd-32fd70213848aafedb754b947e9fd6eaf819b1d3.tar.bz2 |
Update due to RTEMS printer API changes
Diffstat (limited to 'freebsd')
-rw-r--r-- | freebsd/sys/kern/kern_intr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/freebsd/sys/kern/kern_intr.c b/freebsd/sys/kern/kern_intr.c index e602cd83..87b7241d 100644 --- a/freebsd/sys/kern/kern_intr.c +++ b/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> |