From a7e3875d558e751915ed0dcc9757ed6ea012dc81 Mon Sep 17 00:00:00 2001 From: Richard Braun Date: Tue, 10 Oct 2017 23:22:46 +0200 Subject: x86/pmap: remove useless header inclusion --- arch/x86/machine/pmap.c | 1 - 1 file changed, 1 deletion(-) diff --git a/arch/x86/machine/pmap.c b/arch/x86/machine/pmap.c index fc2c0a0f..5ed05027 100644 --- a/arch/x86/machine/pmap.c +++ b/arch/x86/machine/pmap.c @@ -40,7 +40,6 @@ #include #include #include -#include #include #include #include -- cgit v1.2.3