| 38,17 → 38,26 |
|---|
| #include <arch/types.h> |
| #include <console/chardev.h> |
| |
| extern chardev_t *stdin; |
| extern chardev_t *stdout; |
| extern indev_t *stdin; |
| extern outdev_t *stdout; |
| extern bool silent; |
| |
| extern indev_t *stdin_wire(void); |
| 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 count_t gets(chardev_t *chardev, char *buf, size_t buflen); |
| extern void putchar(char c); |
| extern wchar_t getc(indev_t *indev); |
| extern count_t gets(indev_t *indev, char *buf, size_t buflen); |
| extern unative_t sys_klog(int fd, const void *buf, size_t size); |
| |
| extern void grab_console(void); |
| extern void release_console(void); |
| |
| extern unative_t sys_debug_enable_console(void); |
| extern unative_t sys_debug_disable_console(void); |
| |
| extern void arch_grab_console(void); |
| extern void arch_release_console(void); |
| |