Changes in uspace/lib/c/generic/private/libc.h [7148abf:099c834] in mainline

File:

• uspace/lib/c/generic/private/libc.h (modified) (1 diff)

uspace/lib/c/generic/private/libc.h

@@ -38 +38 @@
 extern unsigned char _end[];
 extern void __libc_main(void *) __attribute__((noreturn));
+extern void __libc_exit(int) __attribute__((noreturn));
+extern void __libc_abort(void) __attribute__((noreturn));
 extern int main(int, char *[]);