diff --git a/arch/x86/kernel/hpet.c b/arch/x86/kernel/hpet.c index a3c56c9b8a025b1625889b7bce3d655f85c7f848..5c1702789be400aac422acae49c1c33b4a4875cf 100644 --- a/arch/x86/kernel/hpet.c +++ b/arch/x86/kernel/hpet.c @@ -6,7 +6,6 @@ #include #include #include -#include #include #include diff --git a/arch/x86/kernel/pci-calgary_64.c b/arch/x86/kernel/pci-calgary_64.c index 21d7e0f8610cac1cf82bc68e32063f554d613f04..21f34db2c03c1efe90fd7ef4dcedc2407dc17e6f 100644 --- a/arch/x86/kernel/pci-calgary_64.c +++ b/arch/x86/kernel/pci-calgary_64.c @@ -30,7 +30,6 @@ #include #include #include -#include #include #include #include diff --git a/arch/x86/vdso/vclock_gettime.c b/arch/x86/vdso/vclock_gettime.c index 5b54cdfb2b07f989c34696ba1ca95c8dcd9f518d..23476c2ebfc4b38b817e5907e0c658e7d21a6715 100644 --- a/arch/x86/vdso/vclock_gettime.c +++ b/arch/x86/vdso/vclock_gettime.c @@ -19,7 +19,6 @@ #include #include #include -#include #include "vextern.h" #define gtod vdso_vsyscall_gtod_data