| #ifndef __STDIO_CONSOLE_H | |
| #define __STDIO_CONSOLE_H | |
| extern void stdio_write(int index, const char *string, int len); | |
| extern int stdio_console_thread(unsigned long sp); | |
| extern void stdio_receive_char(int fd, char ch); | |
| extern int stdio_start_thread(int pid); | |
| extern void setup_fd(int fd); | |
| extern void stdio_rcv_proc(int fd); | |
| extern int open_vt(int n, int *pid_out); | |
| #endif |