Rev 4239 | Rev 4317 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4239 | Rev 4293 | ||
---|---|---|---|
Line 50... | Line 50... | ||
50 | extern void console_goto(int, int); |
50 | extern void console_goto(int, int); |
51 | extern void console_putchar(wchar_t); |
51 | extern void console_putchar(wchar_t); |
52 | extern ssize_t console_write(const char *buf, size_t nbyte); |
52 | extern ssize_t console_write(const char *buf, size_t nbyte); |
53 | extern void console_putstr(const char *s); |
53 | extern void console_putstr(const char *s); |
54 | extern void console_flush(void); |
54 | extern void console_flush(void); |
- | 55 | extern void console_flush_optional(void); |
|
55 | 56 | ||
56 | extern int console_get_size(int *, int *); |
57 | extern int console_get_size(int *, int *); |
57 | extern void console_set_style(int); |
58 | extern void console_set_style(int); |
58 | extern void console_set_color(int, int, int); |
59 | extern void console_set_color(int, int, int); |
59 | extern void console_set_rgb_color(int, int); |
60 | extern void console_set_rgb_color(int, int); |