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); |