Rev 2586 | Rev 3222 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2586 | Rev 2670 | ||
---|---|---|---|
Line 66... | Line 66... | ||
66 | __tcb_set(f->tcb); |
66 | __tcb_set(f->tcb); |
67 | } |
67 | } |
68 | 68 | ||
69 | void __io_init(void) |
69 | void __io_init(void) |
70 | { |
70 | { |
71 | open("stdin", 0); |
71 | open_stdin(); |
72 | open("stdout", 0); |
72 | open_stdout(); |
73 | open("stderr", 0); |
- | |
74 | } |
73 | } |
75 | 74 | ||
76 | void __exit(void) |
75 | void __exit(void) |
77 | { |
76 | { |
78 | fibril_teardown(__tcb_get()->fibril_data); |
77 | fibril_teardown(__tcb_get()->fibril_data); |