/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 |
/** @} |