Rev 1367 | Rev 1406 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1367 | Rev 1392 | ||
---|---|---|---|
Line 31... | Line 31... | ||
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 | #include <ipc/ipc.h> |
35 | #include <ipc/ipc.h> |
- | 36 | #include <async.h> |
|
36 | 37 | ||
37 | void _exit(int status) { |
38 | void _exit(int status) { |
38 | thread_exit(status); |
39 | thread_exit(status); |
39 | } |
40 | } |
40 | 41 | ||
41 | void __main(void) { |
42 | void __main(void) { |
42 | tcb_t *tcb; |
43 | psthread_data_t *pt; |
43 | 44 | ||
44 | tcb = __make_tls(); |
- | |
45 | __tcb_set(tcb); |
45 | _async_init(); |
46 | psthread_setup(tcb); |
46 | pt = psthread_setup(); |
47 | _ipc_init(); |
47 | __tcb_set(pt->tcb); |
48 | } |
48 | } |
49 | 49 | ||
50 | void __io_init(void) { |
50 | void __io_init(void) { |
51 | open("stdin", 0); |
51 | open("stdin", 0); |
52 | open("stdout", 0); |
52 | open("stdout", 0); |
53 | open("stderr", 0); |
53 | open("stderr", 0); |
54 | } |
54 | } |
55 | 55 | ||
56 | void __exit(void) { |
56 | void __exit(void) { |
57 | tcb_t *tcb; |
- | |
58 | - | ||
59 | tcb = __tcb_get(); |
- | |
60 | psthread_teardown(tcb->pst_data); |
57 | psthread_teardown(__tcb_get()->pst_data); |
61 | __free_tls(tcb); |
- | |
62 | _exit(0); |
58 | _exit(0); |
63 | } |
59 | } |