diff options
| author | Jagadeesh Pagadala <jagdsh.linux@gmail.com> | 2019-03-23 17:25:17 +0530 |
|---|---|---|
| committer | Guo Ren <ren_guo@c-sky.com> | 2019-04-22 13:44:57 +0800 |
| commit | ce63cd5bd4482ded3c5907a48928627de623b185 (patch) | |
| tree | f7f3578191b6eae9406409f6c6774a01cc95f072 /arch/csky | |
| parent | 1b2707fb1189b890e538ed09ca3f3512173cb836 (diff) | |
csky: mm/fault.c: Remove duplicate header
Remove duplicate header which is included twice.
Signed-off-by: Jagadeesh Pagadala <jagdsh.linux@gmail.com>
Signed-off-by: Guo Ren <ren_guo@c-sky.com>
Diffstat (limited to 'arch/csky')
| -rw-r--r-- | arch/csky/mm/fault.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/csky/mm/fault.c b/arch/csky/mm/fault.c index d6f4b66b93e2..e1725f8a06f9 100644 --- a/arch/csky/mm/fault.c +++ b/arch/csky/mm/fault.c @@ -15,7 +15,6 @@ #include <linux/smp.h> #include <linux/version.h> #include <linux/vt_kern.h> -#include <linux/kernel.h> #include <linux/extable.h> #include <linux/uaccess.h> |