| /branches/tracing/uspace/lib/libc/generic/libc.c |
|---|
| 48,11 → 48,14 |
| #include <ipc/ipc.h> |
| #include <async.h> |
| #include <as.h> |
| #include <console.h> |
| #include <loader/pcb.h> |
| extern char _heap; |
| extern int main(int argc, char *argv[]); |
| int _errno; |
| void _exit(int status) |
| { |
| thread_exit(status); |
| 69,8 → 72,6 |
| f = fibril_setup(); |
| __tcb_set(f->tcb); |
| open_console(); |
| /* Save the PCB pointer */ |
| __pcb = (pcb_t *)pcb_ptr; |
| 83,6 → 84,7 |
| } |
| main(argc, argv); |
| console_flush(); |
| } |
| void __exit(void) |