36 /* Returned by console_xxx() if no registered console implements xxx. */
43 typedef struct console {  struct
44 	struct console *next;  argument
50 	int (*const putc)(int character, struct console *console);  argument
52 	int (*const getc)(struct console *console);  argument
54 	void (*const flush)(struct console *console);  argument
65  * Add a console_t instance to the console list. This should only be called by  argument
66  * console drivers after they have initialized all fields in the console
67  * structure. Platforms seeking to register a new console need to call the
70 int console_register(console_t *console);
71 /* Remove a single console_t instance from the console list. Return a pointer to
72  * the console that was removed if it was found, or NULL if not. */
73 console_t *console_unregister(console_t *console);
74 /* Returns 1 if this console is already registered, 0 if not */
75 int console_is_registered(console_t *console);
77  * Set scope mask of a console that determines in what states it is active.
80 void console_set_scope(console_t *console, unsigned int scope);
82 /* Switch to a new global console state (CONSOLE_FLAG_BOOT/RUNTIME/CRASH). */
87 /* Read a character (blocking) from any console registered for current state. */