diff options
| -rw-r--r-- | sys/arm/arm/identcpu-v4.c | 2 | ||||
| -rw-r--r-- | sys/arm/arm/identcpu-v6.c | 2 | ||||
| -rw-r--r-- | sys/arm/arm/stack_machdep.c | 2 | ||||
| -rw-r--r-- | sys/arm/include/atomic.h | 1 | ||||
| -rw-r--r-- | sys/contrib/vchiq/interface/compat/vchi_bsd.h | 2 |
5 files changed, 4 insertions, 5 deletions
diff --git a/sys/arm/arm/identcpu-v4.c b/sys/arm/arm/identcpu-v4.c index af760799d938..0be39020d27a 100644 --- a/sys/arm/arm/identcpu-v4.c +++ b/sys/arm/arm/identcpu-v4.c @@ -43,8 +43,8 @@ #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); -#include <sys/systm.h> #include <sys/param.h> +#include <sys/systm.h> #include <sys/conf.h> #include <sys/kernel.h> #include <sys/sysctl.h> diff --git a/sys/arm/arm/identcpu-v6.c b/sys/arm/arm/identcpu-v6.c index 55d331c2ffba..7cc8170325cb 100644 --- a/sys/arm/arm/identcpu-v6.c +++ b/sys/arm/arm/identcpu-v6.c @@ -43,8 +43,8 @@ #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); -#include <sys/systm.h> #include <sys/param.h> +#include <sys/systm.h> #include <sys/conf.h> #include <sys/kernel.h> #include <sys/sysctl.h> diff --git a/sys/arm/arm/stack_machdep.c b/sys/arm/arm/stack_machdep.c index 6d23be6edc7e..df232a957978 100644 --- a/sys/arm/arm/stack_machdep.c +++ b/sys/arm/arm/stack_machdep.c @@ -27,8 +27,8 @@ #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); -#include <sys/systm.h> #include <sys/param.h> +#include <sys/systm.h> #include <sys/proc.h> #include <sys/stack.h> diff --git a/sys/arm/include/atomic.h b/sys/arm/include/atomic.h index 4c404dc4bf74..ed87fb402b1b 100644 --- a/sys/arm/include/atomic.h +++ b/sys/arm/include/atomic.h @@ -39,7 +39,6 @@ #ifndef _MACHINE_ATOMIC_H_ #define _MACHINE_ATOMIC_H_ -#include <sys/types.h> #include <machine/armreg.h> #ifndef _KERNEL diff --git a/sys/contrib/vchiq/interface/compat/vchi_bsd.h b/sys/contrib/vchiq/interface/compat/vchi_bsd.h index d2991a9085f0..107041ac37b9 100644 --- a/sys/contrib/vchiq/interface/compat/vchi_bsd.h +++ b/sys/contrib/vchiq/interface/compat/vchi_bsd.h @@ -28,8 +28,8 @@ #ifndef __VCHI_BSD_H__ #define __VCHI_BSD_H__ -#include <sys/systm.h> #include <sys/param.h> +#include <sys/systm.h> #include <sys/bus.h> #include <sys/conf.h> #include <sys/lock.h> |