Rev 3964 | Rev 4087 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3964 | Rev 4042 | ||
|---|---|---|---|
| Line 41... | Line 41... | ||
| 41 | extern chardev_t *stdin; |
41 | extern chardev_t *stdin; |
| 42 | extern chardev_t *stdout; |
42 | extern chardev_t *stdout; |
| 43 | 43 | ||
| 44 | extern bool silent; |
44 | extern bool silent; |
| 45 | 45 | ||
| - | 46 | extern void console_init(void); |
|
| - | 47 | ||
| 46 | extern void klog_init(void); |
48 | extern void klog_init(void); |
| 47 | extern void klog_update(void); |
49 | extern void klog_update(void); |
| 48 | 50 | ||
| 49 | extern uint8_t getc(chardev_t *chardev); |
51 | extern uint8_t getc(chardev_t *chardev); |
| 50 | uint8_t _getc(chardev_t *chardev); |
52 | extern uint8_t _getc(chardev_t *chardev); |
| 51 | extern count_t gets(chardev_t *chardev, char *buf, size_t buflen); |
53 | extern count_t gets(chardev_t *chardev, char *buf, size_t buflen); |
| 52 | extern void putchar(char c); |
54 | extern void putchar(char c); |
| 53 | 55 | ||
| 54 | extern void grab_console(void); |
56 | extern void grab_console(void); |
| 55 | extern void release_console(void); |
57 | extern void release_console(void); |