38,17 → 38,29 |
#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 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 bool check_poll(indev_t *indev); |
extern uint8_t getc(indev_t *indev); |
extern uint8_t _getc(indev_t *indev); |
extern count_t gets(indev_t *indev, char *buf, size_t buflen); |
extern void putchar(char c); |
extern unative_t sys_klog(int fd, const void * buf, size_t count); |
|
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); |
|