version 1.1.1.1, 2008/06/03 10:38:41 |
version 1.1.1.1.2.1, 2008/08/13 17:12:22 |
|
|
static int console_init(void); |
static int console_init(void); |
static int console_read(device_t, char *, size_t *, int); |
static int console_read(device_t, char *, size_t *, int); |
static int console_write(device_t, char *, size_t *, int); |
static int console_write(device_t, char *, size_t *, int); |
static int console_ioctl(device_t, int, u_long); |
static int console_ioctl(device_t, u_long, void *); |
|
void console_attach(struct tty **); |
|
|
/* |
/* |
* Driver structure |
* Driver structure |
|
|
sched_unlock(); |
sched_unlock(); |
} |
} |
|
|
#if defined(DEBUG) && defined(CONFIG_DIAG_VBA) |
#if defined(DEBUG) && defined(CONFIG_DIAG_SCREEN) |
/* |
/* |
* Debug print handler |
* Debug print handler |
*/ |
*/ |
|
|
* I/O control |
* I/O control |
*/ |
*/ |
static int |
static int |
console_ioctl(device_t dev, int cmd, u_long arg) |
console_ioctl(device_t dev, u_long cmd, void *arg) |
{ |
{ |
|
|
return tty_ioctl(&console_tty, cmd, (void *)arg); |
return tty_ioctl(&console_tty, cmd, arg); |
} |
} |
|
|
/* |
/* |
|
|
console_dev = device_create(&console_io, "console", DF_CHR); |
console_dev = device_create(&console_io, "console", DF_CHR); |
init_font(); |
init_font(); |
init_screen(); |
init_screen(); |
#if defined(DEBUG) && defined(CONFIG_DIAG_VBA) |
#if defined(DEBUG) && defined(CONFIG_DIAG_SCREEN) |
debug_attach(diag_print); |
debug_attach(diag_print); |
#endif |
#endif |
tty_register(&console_io, &console_tty, console_output); |
tty_register(&console_io, &console_tty, console_output); |