3 * Paolo Scaffardi, AIRVENT SAM s.p.a - RIMINI(ITALY), arsenio@tin.it
5 * SPDX-License-Identifier: GPL-2.0+
11 #include <linux/list.h>
17 #define DEV_FLAGS_INPUT 0x00000001 /* Device can be used as input console */
18 #define DEV_FLAGS_OUTPUT 0x00000002 /* Device can be used as output console */
19 #define DEV_FLAGS_SYSTEM 0x80000000 /* Device is a system device */
20 #define DEV_EXT_VIDEO 0x00000001 /* Video extensions supported */
22 /* Device information */
24 int flags; /* Device flags: input/output/system */
25 int ext; /* Supported extensions */
26 char name[16]; /* Device name */
28 /* GENERAL functions */
30 int (*start) (void); /* To start the device */
31 int (*stop) (void); /* To stop the device */
33 /* OUTPUT functions */
35 void (*putc) (const char c); /* To put a char */
36 void (*puts) (const char *s); /* To put a string (accelerator) */
40 int (*tstc) (void); /* To test if a char is ready... */
41 int (*getc) (void); /* To get that char */
45 void *priv; /* Private extensions */
46 struct list_head list;
52 #define VIDEO_FORMAT_RGB_INDEXED 0x0000
53 #define VIDEO_FORMAT_RGB_DIRECTCOLOR 0x0001
54 #define VIDEO_FORMAT_YUYV_4_4_4 0x0010
55 #define VIDEO_FORMAT_YUYV_4_2_2 0x0011
58 void *address; /* Address of framebuffer */
59 ushort width; /* Horizontal resolution */
60 ushort height; /* Vertical resolution */
61 uchar format; /* Format */
62 uchar colors; /* Colors number or color depth */
63 void (*setcolreg) (int, int, int, int);
64 void (*getcolreg) (int, void *);
70 extern struct stdio_dev *stdio_devices[];
71 extern char *stdio_names[MAX_FILES];
76 int stdio_register (struct stdio_dev * dev);
77 int stdio_init (void);
78 void stdio_print_current_devices(void);
79 #ifdef CONFIG_SYS_STDIO_DEREGISTER
80 int stdio_deregister(const char *devname);
82 struct list_head* stdio_get_list(void);
83 struct stdio_dev* stdio_get_by_name(const char* name);
84 struct stdio_dev* stdio_clone(struct stdio_dev *dev);
87 int drv_arm_dcc_init(void);
90 int drv_lcd_init (void);
92 #if defined(CONFIG_VIDEO) || defined(CONFIG_CFB_CONSOLE)
93 int drv_video_init (void);
95 #ifdef CONFIG_KEYBOARD
96 int drv_keyboard_init (void);
99 int drv_usbtty_init (void);
101 #ifdef CONFIG_NETCONSOLE
102 int drv_nc_init (void);
104 #ifdef CONFIG_JTAG_CONSOLE
105 int drv_jtag_console_init (void);
107 #ifdef CONFIG_CBMEM_CONSOLE
108 int cbmemc_init(void);