| /branches/dd/uspace/lib/libc/include/ddi.h |
|---|
| 37,6 → 37,7 |
| #include <task.h> |
| extern int device_assign_devno(void); |
| extern int physmem_map(void *, void *, unsigned long, int); |
| extern int iospace_enable(task_id_t, void *, unsigned long); |
| extern int preemption_control(int); |
| /branches/dd/uspace/lib/libc/include/console.h |
|---|
| 38,9 → 38,17 |
| #include <console/style.h> |
| #include <console/color.h> |
| extern void console_open(void); |
| extern void console_close(void); |
| extern int console_phone_get(void); |
| extern void console_wait(void); |
| extern void console_clear(void); |
| extern void console_goto(int, int); |
| extern void console_putchar(int); |
| extern void console_flush(void); |
| extern int console_get_size(int *, int *); |
| extern void console_set_style(int); |
| extern void console_set_color(int, int, int); |
| /branches/dd/uspace/lib/libc/include/io/stream.h |
|---|
| 39,8 → 39,6 |
| #define EMFILE -17 |
| extern void open_console(void); |
| extern void close_console(void); |
| extern void klog_update(void); |
| extern ssize_t read_stdin(void *, size_t); |
| 47,9 → 45,6 |
| extern ssize_t write_stdout(const void *, size_t); |
| extern ssize_t write_stderr(const void *, size_t); |
| extern int get_console_phone(void); |
| extern void console_wait(void); |
| #endif |
| /** @} |