30 /* Returned by console_xxx() if no registered console implements xxx. */
37 typedef struct console {  struct
38 	struct console *next;  argument
44 	int (*const putc)(int character, struct console *console);  argument
45 	int (*const getc)(struct console *console);  argument
46 	void (*const flush)(struct console *console);  argument
55  * Add a console_t instance to the console list. This should only be called by  argument
56  * console drivers after they have initialized all fields in the console
57  * structure. Platforms seeking to register a new console need to call the
60 int console_register(console_t *console);
61 /* Remove a single console_t instance from the console list. Return a pointer to
62  * the console that was removed if it was found, or NULL if not. */
63 console_t *console_unregister(console_t *console);
64 /* Returns 1 if this console is already registered, 0 if not */
65 int console_is_registered(console_t *console);
67  * Set scope mask of a console that determines in what states it is active.
70 void console_set_scope(console_t *console, unsigned int scope);
72 /* Switch to a new global console state (CONSOLE_FLAG_BOOT/RUNTIME/CRASH). */
76 /* Read a character (blocking) from any console registered for current state. */