__libc_exit 64 uspace/lib/c/generic/private/libc.h extern void __libc_exit(int) __attribute__((noreturn)); __libc_exit 189 uspace/lib/c/generic/stdlib.c __libc_exit(status);