| /* |
| * (C) Copyright 2000 |
| * Paolo Scaffardi, AIRVENT SAM s.p.a - RIMINI(ITALY), arsenio@tin.it |
| * |
| * See file CREDITS for list of people who contributed to this |
| * project. |
| * |
| * This program is free software; you can redistribute it and/or |
| * modify it under the terms of the GNU General Public License as |
| * published by the Free Software Foundation; either version 2 of |
| * the License, or (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, |
| * MA 02111-1307 USA |
| */ |
| |
| #include <lists.h> |
| |
| #ifndef _DEVICES_H_ |
| #define _DEVICES_H_ |
| |
| /* |
| * CONSOLE DEVICES |
| */ |
| |
| #define DEV_FLAGS_INPUT 0x00000001 /* Device can be used as input console */ |
| #define DEV_FLAGS_OUTPUT 0x00000002 /* Device can be used as output console */ |
| #define DEV_FLAGS_SYSTEM 0x80000000 /* Device is a system device */ |
| #define DEV_EXT_VIDEO 0x00000001 /* Video extensions supported */ |
| |
| /* Device information */ |
| typedef struct { |
| int flags; /* Device flags: input/output/system */ |
| int ext; /* Supported extensions */ |
| char name[16]; /* Device name */ |
| |
| /* GENERAL functions */ |
| |
| int (*start) (void); /* To start the device */ |
| int (*stop) (void); /* To stop the device */ |
| |
| /* OUTPUT functions */ |
| |
| void (*putc) (const char c); /* To put a char */ |
| void (*puts) (const char *s); /* To put a string (accelerator) */ |
| |
| /* INPUT functions */ |
| |
| int (*tstc) (void); /* To test if a char is ready... */ |
| int (*getc) (void); /* To get that char */ |
| |
| /* Other functions */ |
| |
| void *priv; /* Private extensions */ |
| } device_t; |
| |
| /* |
| * VIDEO EXTENSIONS |
| */ |
| #define VIDEO_FORMAT_RGB_INDEXED 0x0000 |
| #define VIDEO_FORMAT_RGB_DIRECTCOLOR 0x0001 |
| #define VIDEO_FORMAT_YUYV_4_4_4 0x0010 |
| #define VIDEO_FORMAT_YUYV_4_2_2 0x0011 |
| |
| typedef struct { |
| void *address; /* Address of framebuffer */ |
| ushort width; /* Horizontal resolution */ |
| ushort height; /* Vertical resolution */ |
| uchar format; /* Format */ |
| uchar colors; /* Colors number or color depth */ |
| void (*setcolreg) (int, int, int, int); |
| void (*getcolreg) (int, void *); |
| } video_ext_t; |
| |
| /* |
| * VARIABLES |
| */ |
| extern list_t devlist; |
| extern device_t *stdio_devices[]; |
| extern char *stdio_names[MAX_FILES]; |
| |
| /* |
| * PROTOTYPES |
| */ |
| int device_register (device_t * dev); |
| int devices_init (void); |
| int devices_done (void); |
| int device_deregister(char *devname); |
| #ifdef CONFIG_LCD |
| int drv_lcd_init (void); |
| #endif |
| #ifdef CONFIG_VFD |
| int drv_vfd_init (void); |
| #endif |
| #if defined(CONFIG_VIDEO) || defined(CONFIG_CFB_CONSOLE) |
| int drv_video_init (void); |
| #endif |
| #ifdef CONFIG_KEYBOARD |
| int drv_keyboard_init (void); |
| #endif |
| #ifdef CONFIG_USB_TTY |
| int drv_usbtty_init (void); |
| #endif |
| |
| #endif /* _DEVICES_H_ */ |