diff options
Diffstat (limited to 'arch/um/kernel/exec_kern.c')
| -rw-r--r-- | arch/um/kernel/exec_kern.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/um/kernel/exec_kern.c b/arch/um/kernel/exec_kern.c index efd222ffe20e..569fe8b9b053 100644 --- a/arch/um/kernel/exec_kern.c +++ b/arch/um/kernel/exec_kern.c | |||
| @@ -17,7 +17,6 @@ | |||
| 17 | #include "irq_user.h" | 17 | #include "irq_user.h" |
| 18 | #include "tlb.h" | 18 | #include "tlb.h" |
| 19 | #include "os.h" | 19 | #include "os.h" |
| 20 | #include "time_user.h" | ||
| 21 | #include "choose-mode.h" | 20 | #include "choose-mode.h" |
| 22 | #include "mode_kern.h" | 21 | #include "mode_kern.h" |
| 23 | 22 | ||