Rev 4590 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4590 | Rev 4601 | ||
|---|---|---|---|
| Line 87... | Line 87... | ||
| 87 | FILE *stdout = NULL; |
87 | FILE *stdout = NULL; |
| 88 | FILE *stderr = NULL; |
88 | FILE *stderr = NULL; |
| 89 | 89 | ||
| 90 | static LIST_INITIALIZE(files); |
90 | static LIST_INITIALIZE(files); |
| 91 | 91 | ||
| 92 | void stdio_init(int filc, fdi_node_t *filv[]) |
92 | void __stdio_init(int filc, fdi_node_t *filv[]) |
| 93 | { |
93 | { |
| 94 | if (filc > 0) { |
94 | if (filc > 0) { |
| 95 | stdin = fopen_node(filv[0], "r"); |
95 | stdin = fopen_node(filv[0], "r"); |
| 96 | } else { |
96 | } else { |
| 97 | stdin = &stdin_null; |
97 | stdin = &stdin_null; |
| Line 111... | Line 111... | ||
| 111 | stderr = &stderr_klog; |
111 | stderr = &stderr_klog; |
| 112 | list_append(&stderr->link, &files); |
112 | list_append(&stderr->link, &files); |
| 113 | } |
113 | } |
| 114 | } |
114 | } |
| 115 | 115 | ||
| 116 | void stdio_done(void) |
116 | void __stdio_done(void) |
| 117 | { |
117 | { |
| 118 | link_t *link = files.next; |
118 | link_t *link = files.next; |
| 119 | 119 | ||
| 120 | while (link != &files) { |
120 | while (link != &files) { |
| 121 | FILE *file = list_get_instance(link, FILE, link); |
121 | FILE *file = list_get_instance(link, FILE, link); |