39 #include <drivers/console.h>
49 	console_t console;  member
95 static int32_t dcc_console_putc(int32_t ch, struct console *console)  in dcc_console_putc()  argument
109 static int32_t dcc_console_getc(struct console *console)  in dcc_console_getc()  argument
125  * @console		Console struct
128 static void dcc_console_flush(struct console *console)  in dcc_console_flush()  argument
139 	.console = {
151 int console_dcc_register(console_t *console)  in console_dcc_register()  argument
153 	memcpy(console, &dcc_console.console, sizeof(console_t));  in console_dcc_register()
154 	return console_register(console);  in console_dcc_register()
157 void console_dcc_unregister(console_t *console)  in console_dcc_unregister()  argument
159 	dcc_console_flush(console);  in console_dcc_unregister()
160 	(void)console_unregister(console);  in console_dcc_unregister()