diff options
Diffstat (limited to 'arch/um/include/os.h')
-rw-r--r-- | arch/um/include/os.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/um/include/os.h b/arch/um/include/os.h index daaafc8824b0..c8684b678eeb 100644 --- a/arch/um/include/os.h +++ b/arch/um/include/os.h | |||
@@ -235,7 +235,6 @@ extern void stack_protections(unsigned long address); | |||
235 | extern int raw(int fd); | 235 | extern int raw(int fd); |
236 | extern void setup_machinename(char *machine_out); | 236 | extern void setup_machinename(char *machine_out); |
237 | extern void setup_hostinfo(char *buf, int len); | 237 | extern void setup_hostinfo(char *buf, int len); |
238 | extern int setjmp_wrapper(void (*proc)(void *, void *), ...); | ||
239 | extern void os_dump_core(void) __attribute__ ((noreturn)); | 238 | extern void os_dump_core(void) __attribute__ ((noreturn)); |
240 | 239 | ||
241 | /* time.c */ | 240 | /* time.c */ |