Rev 1363 | Rev 1367 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1363 | Rev 1366 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | #include <unistd.h> |
30 | #include <unistd.h> |
| 31 | #include <thread.h> |
31 | #include <thread.h> |
| 32 | #include <malloc.h> |
32 | #include <malloc.h> |
| 33 | #include <psthread.h> |
33 | #include <psthread.h> |
| 34 | #include <io/stream.h> |
34 | #include <io/stream.h> |
| 35 | - | ||
| 36 | int __DONT_OPEN_STDIO__; |
- | |
| 37 | - | ||
| 38 | /* We should probably merge libc and libipc together */ |
- | |
| 39 | extern void _ipc_init(void); |
35 | #include <ipc/ipc.h> |
| 40 | 36 | ||
| 41 | void _exit(int status) { |
37 | void _exit(int status) { |
| 42 | thread_exit(status); |
38 | thread_exit(status); |
| 43 | } |
39 | } |
| 44 | 40 | ||
| 45 | void __main(void) { |
41 | void __main(void) { |
| 46 | tcb_t *tcb; |
42 | tcb_t *tcb; |
| 47 | 43 | ||
| 48 | if(!__DONT_OPEN_STDIO__) |
- | |
| 49 | { |
- | |
| 50 | open("stdin",0); |
- | |
| 51 | open("stdout",0); |
- | |
| 52 | open("stderr",0); |
- | |
| 53 | } |
- | |
| 54 | - | ||
| 55 | tcb = __make_tls(); |
44 | tcb = __make_tls(); |
| 56 | __tcb_set(tcb); |
45 | __tcb_set(tcb); |
| 57 | psthread_setup(tcb); |
46 | psthread_setup(tcb); |
| 58 | _ipc_init(); |
47 | _ipc_init(); |
| - | 48 | ||
| - | 49 | open("stdin", 0); |
|
| - | 50 | open("stdout", 0); |
|
| - | 51 | open("stderr", 0); |
|
| 59 | } |
52 | } |
| 60 | 53 | ||
| 61 | void __exit(void) { |
54 | void __exit(void) { |
| 62 | tcb_t *tcb; |
55 | tcb_t *tcb; |
| 63 | 56 | ||