diff options
Diffstat (limited to 'arch/um/include/shared/os.h')
-rw-r--r-- | arch/um/include/shared/os.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/um/include/shared/os.h b/arch/um/include/shared/os.h index e98303925cc5..021104d98cb3 100644 --- a/arch/um/include/shared/os.h +++ b/arch/um/include/shared/os.h | |||
@@ -235,6 +235,7 @@ extern void setup_machinename(char *machine_out); | |||
235 | extern void setup_hostinfo(char *buf, int len); | 235 | extern void setup_hostinfo(char *buf, int len); |
236 | extern void os_dump_core(void) __attribute__ ((noreturn)); | 236 | extern void os_dump_core(void) __attribute__ ((noreturn)); |
237 | extern void um_early_printk(const char *s, unsigned int n); | 237 | extern void um_early_printk(const char *s, unsigned int n); |
238 | extern void os_fix_helper_signals(void); | ||
238 | 239 | ||
239 | /* time.c */ | 240 | /* time.c */ |
240 | extern void idle_sleep(unsigned long long nsecs); | 241 | extern void idle_sleep(unsigned long long nsecs); |