diff options
Diffstat (limited to 'arch/um/kernel/exec.c')
-rw-r--r-- | arch/um/kernel/exec.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/um/kernel/exec.c b/arch/um/kernel/exec.c index 598711c62c82..fda30d21fb90 100644 --- a/arch/um/kernel/exec.c +++ b/arch/um/kernel/exec.c | |||
@@ -15,6 +15,7 @@ | |||
15 | #include "mem_user.h" | 15 | #include "mem_user.h" |
16 | #include "skas.h" | 16 | #include "skas.h" |
17 | #include "os.h" | 17 | #include "os.h" |
18 | #include "internal.h" | ||
18 | 19 | ||
19 | void flush_thread(void) | 20 | void flush_thread(void) |
20 | { | 21 | { |