Rev 1129 | Rev 1363 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1129 | Rev 1350 | ||
|---|---|---|---|
| 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 | 34 | ||
| - | 35 | /* We should probably merge libc and libipc together */ |
|
| - | 36 | extern void _ipc_init(void); |
|
| - | 37 | ||
| 35 | void _exit(int status) { |
38 | void _exit(int status) { |
| 36 | thread_exit(status); |
39 | thread_exit(status); |
| 37 | } |
40 | } |
| 38 | 41 | ||
| 39 | #include <stdio.h> |
- | |
| 40 | void __main(void) { |
42 | void __main(void) { |
| 41 | tcb_t *tcb; |
43 | tcb_t *tcb; |
| 42 | 44 | ||
| 43 | tcb = __make_tls(); |
45 | tcb = __make_tls(); |
| 44 | __tcb_set(tcb); |
46 | __tcb_set(tcb); |
| 45 | psthread_setup(tcb); |
47 | psthread_setup(tcb); |
| - | 48 | _ipc_init(); |
|
| 46 | } |
49 | } |
| 47 | 50 | ||
| 48 | void __exit(void) { |
51 | void __exit(void) { |
| 49 | tcb_t *tcb; |
52 | tcb_t *tcb; |
| 50 | 53 | ||