| /branches/dd/kernel/generic/include/console/klog.h |
|---|
| File deleted |
| /branches/dd/kernel/generic/include/console/chardev.h |
|---|
| 50,7 → 50,7 |
| /** Resume pushing characters. */ |
| void (* resume)(struct chardev *); |
| /** Write character to stream. */ |
| void (* write)(struct chardev *, char c); |
| void (* write)(struct chardev *, char c, bool silent); |
| /** Read character directly from device, assume interrupts disabled. */ |
| char (* read)(struct chardev *); |
| } chardev_operations_t; |
| /branches/dd/kernel/generic/include/console/kconsole.h |
|---|
| 37,6 → 37,7 |
| #include <adt/list.h> |
| #include <synch/spinlock.h> |
| #include <ipc/irq.h> |
| #define MAX_CMDLINE 256 |
| #define KCONSOLE_HISTORY 10 |
| 83,11 → 84,16 |
| void (* help)(void); |
| } cmd_info_t; |
| extern bool kconsole_notify; |
| extern irq_t kconsole_irq; |
| SPINLOCK_EXTERN(cmd_lock); |
| extern link_t cmd_head; |
| extern void kconsole_init(void); |
| extern void kconsole(void *prompt); |
| extern void kconsole_notify_init(void); |
| extern void kconsole(char *prompt, char *msg, bool kcon); |
| extern void kconsole_thread(void *data); |
| extern int cmd_register(cmd_info_t *cmd); |
| /branches/dd/kernel/generic/include/console/console.h |
|---|
| 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); |