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 |