9 #include <drivers/console.h>
17 int console_register(console_t *console)  in IMPORT_SYM()
20 	assert((console < stacks_start) || (console >= stacks_end));  in IMPORT_SYM()
23 	if (console_is_registered(console) == 1)  in IMPORT_SYM()
26 	console->next = console_list;  in IMPORT_SYM()
27 	console_list = console;  in IMPORT_SYM()
50 	console_t *console;  in console_is_registered()  local
54 	for (console = console_list; console != NULL; console = console->next)  in console_is_registered()
55 		if (console == to_find)  in console_is_registered()
66 void console_set_scope(console_t *console, unsigned int scope)  in console_set_scope()  argument
68 	assert(console != NULL);  in console_set_scope()
70 	console->flags = (console->flags & ~CONSOLE_FLAG_SCOPE_MASK) | scope;  in console_set_scope()
73 static int do_putc(int c, console_t *console)  in do_putc()  argument
78 	    ((console->flags & CONSOLE_FLAG_TRANSLATE_CRLF) != 0)) {  in do_putc()
79 		ret = console->putc('\r', console);  in do_putc()
84 	return console->putc(c, console);  in do_putc()
90 	console_t *console;  in console_putc()  local
92 	for (console = console_list; console != NULL; console = console->next)  in console_putc()
93 		if ((console->flags & console_state) && (console->putc != NULL)) {  in console_putc()
94 			int ret = do_putc(c, console);  in console_putc()
105 	console_t *console;  in console_getc()  local
107 	do {	/* Keep polling while at least one console works correctly. */  in console_getc()
108 		for (console = console_list; console != NULL;  in console_getc()
109 		     console = console->next)  in console_getc()
110 			if ((console->flags & console_state) && (console->getc != NULL)) {  in console_getc()
111 				int ret = console->getc(console);  in console_getc()
124 	console_t *console;  in console_flush()  local
126 	for (console = console_list; console != NULL; console = console->next)  in console_flush()
127 		if ((console->flags & console_state) && (console->flush != NULL)) {  in console_flush()
128 			console->flush(console);  in console_flush()