From 24ef8c83ee5e4c0f6377fd9fcd416cf4db1ecfda Mon Sep 17 00:00:00 2001
From: Kevin Lo <kevlo@FreeBSD.org>
Date: Sat, 21 Oct 2006 04:25:00 +0000
Subject: [PATCH] style(9) cleanup.

Approved by: cognet
---
 sys/arm/arm/cpufunc.c              | 3 ---
 sys/arm/arm/elf_trampoline.c       | 1 -
 sys/arm/arm/nexus_io.c             | 1 -
 sys/arm/arm/trap.c                 | 2 --
 sys/arm/arm/undefined.c            | 1 -
 sys/arm/sa11x0/sa11x0.c            | 1 -
 sys/arm/sa11x0/sa11x0_io.c         | 1 -
 sys/arm/sa11x0/sa11x0_irqhandler.c | 1 -
 sys/arm/sa11x0/sa11x0_ost.c        | 1 -
 9 files changed, 12 deletions(-)

diff --git a/sys/arm/arm/cpufunc.c b/sys/arm/arm/cpufunc.c
index 9bfbdd796ce0..46b0997d0626 100644
--- a/sys/arm/arm/cpufunc.c
+++ b/sys/arm/arm/cpufunc.c
@@ -47,9 +47,6 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
-#include <sys/cdefs.h>
-
-#include <sys/types.h>
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/lock.h>
diff --git a/sys/arm/arm/elf_trampoline.c b/sys/arm/arm/elf_trampoline.c
index cc1f69c32cc8..6a0e99e4e92a 100644
--- a/sys/arm/arm/elf_trampoline.c
+++ b/sys/arm/arm/elf_trampoline.c
@@ -25,7 +25,6 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 #include <machine/asm.h>
-#include <sys/types.h>
 #include <sys/elf32.h>
 #include <sys/param.h>
 #include <sys/inflate.h>
diff --git a/sys/arm/arm/nexus_io.c b/sys/arm/arm/nexus_io.c
index 61f8e4e3c482..81703389272d 100644
--- a/sys/arm/arm/nexus_io.c
+++ b/sys/arm/arm/nexus_io.c
@@ -42,7 +42,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/queue.h>
-#include <sys/types.h>
 #include <sys/bus.h>
 #include <sys/lock.h>
 #include <sys/mutex.h>
diff --git a/sys/arm/arm/trap.c b/sys/arm/arm/trap.c
index c4c451808a67..b50b6b7aede0 100644
--- a/sys/arm/arm/trap.c
+++ b/sys/arm/arm/trap.c
@@ -84,8 +84,6 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
-#include <sys/types.h>
-
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/proc.h>
diff --git a/sys/arm/arm/undefined.c b/sys/arm/arm/undefined.c
index 25246a05e023..efd80bb9e3f7 100644
--- a/sys/arm/arm/undefined.c
+++ b/sys/arm/arm/undefined.c
@@ -58,7 +58,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/proc.h>
 #include <sys/syslog.h>
 #include <sys/vmmeter.h>
-#include <sys/types.h>
 #include <sys/lock.h>
 #include <sys/mutex.h>
 #include <sys/signalvar.h>
diff --git a/sys/arm/sa11x0/sa11x0.c b/sys/arm/sa11x0/sa11x0.c
index f97b6f2584c2..b09960014d6c 100644
--- a/sys/arm/sa11x0/sa11x0.c
+++ b/sys/arm/sa11x0/sa11x0.c
@@ -64,7 +64,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/bus.h>
 #include <sys/kernel.h>
 #include <sys/reboot.h>
-#include <sys/types.h>
 #include <sys/malloc.h>
 #include <sys/bus.h>
 #include <sys/interrupt.h>
diff --git a/sys/arm/sa11x0/sa11x0_io.c b/sys/arm/sa11x0/sa11x0_io.c
index 4c64bcf633f9..079c686855b4 100644
--- a/sys/arm/sa11x0/sa11x0_io.c
+++ b/sys/arm/sa11x0/sa11x0_io.c
@@ -45,7 +45,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/queue.h>
-#include <sys/types.h>
 #include <sys/lock.h>
 #include <sys/mutex.h>
 
diff --git a/sys/arm/sa11x0/sa11x0_irqhandler.c b/sys/arm/sa11x0/sa11x0_irqhandler.c
index ba6475142c82..1935418867bb 100644
--- a/sys/arm/sa11x0/sa11x0_irqhandler.c
+++ b/sys/arm/sa11x0/sa11x0_irqhandler.c
@@ -83,7 +83,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/systm.h>
 #include <sys/syslog.h>
 #include <sys/malloc.h>
-#include <sys/types.h>
 #include <sys/bus.h>
 #include <sys/interrupt.h>
 #include <sys/rman.h>
diff --git a/sys/arm/sa11x0/sa11x0_ost.c b/sys/arm/sa11x0/sa11x0_ost.c
index 45c8f90f8b13..fbe73ebdf44d 100644
--- a/sys/arm/sa11x0/sa11x0_ost.c
+++ b/sys/arm/sa11x0/sa11x0_ost.c
@@ -40,7 +40,6 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
-#include <sys/types.h>
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/kernel.h>