41,11 → 41,21 |
extern chardev_t *stdin; |
extern chardev_t *stdout; |
|
extern bool silent; |
|
extern void console_init(void); |
|
extern void klog_init(void); |
extern void klog_update(void); |
|
extern uint8_t getc(chardev_t *chardev); |
uint8_t _getc(chardev_t *chardev); |
extern uint8_t _getc(chardev_t *chardev); |
extern count_t gets(chardev_t *chardev, char *buf, size_t buflen); |
extern void putchar(char c); |
|
extern void grab_console(void); |
extern void release_console(void); |
|
extern void arch_grab_console(void); |
extern void arch_release_console(void); |
|