00001
00006
00007
00008 #include <kernel.h>
00009 #include <device.h>
00010 #include <interrupt.h>
00011 #include <uart.h>
00012 #include <tty.h>
00013
00014
00015 extern devcall ioerr(void);
00016 extern devcall ionull(void);
00017
00018 device devtab[NDEVS] =
00019 {
00030
00031 { 0, "SERIAL0",
00032 (void *)uartInit, (void *)ionull, (void *)ionull,
00033 (void *)uartRead, (void *)uartWrite, (void *)ioerr,
00034 (void *)uartGetChar, (void *)uartPutChar, (void *)uartControl,
00035 (void *)0xB8000300, IRQ_UART, IRQ_UART,
00036 uartIntr, uartIntr, NULL, 0},
00037
00038
00039 { 1, "SERIAL1",
00040 (void *)uartInit, (void *)ionull, (void *)ionull,
00041 (void *)ionull, (void *)uartWrite, (void *)ioerr,
00042 (void *)uartGetChar, (void *)uartPutChar, (void *)uartControl,
00043 (void *)0xB8000400, IRQ_UART, IRQ_UART,
00044 uartIntr, uartIntr, NULL, 1},
00045
00046
00047
00048 { 2, "CONSOLE",
00049 (void *)ttyInit, (void *)ttyOpen, (void *)ttyClose,
00050 (void *)ttyRead, (void *)ttyWrite, (void *)ioerr,
00051 (void *)ttyGetChar, (void *)ttyPutChar, (void *)ttyControl,
00052 0000000, 0000, 0000,
00053 (void *)ioerr, (void *)ioerr, NULL, 0 },
00054
00055
00056
00057 { 3, "TTY1",
00058 (void *)ttyInit, (void *)ttyOpen, (void *)ttyClose,
00059 (void *)ttyRead, (void *)ttyWrite, (void *)ioerr,
00060 (void *)ttyGetChar, (void *)ttyPutChar, (void *)ttyControl,
00061 0000000, 0000, 0000,
00062 (void *)ioerr, (void *)ioerr, NULL, 1 }
00063 };