9 #include <console.h>
14 void iomux_printdevs(const int console)  in iomux_printdevs()  argument
19 	for (i = 0; i < cd_count[console]; i++) {  in iomux_printdevs()
20 		dev = console_devices[console][i];  in iomux_printdevs()
27 int iomux_doenv(const int console, const char *arg)  in iomux_doenv()  argument
80 	switch (console) {  in iomux_doenv()
119 		 * This could screw up the console settings for apps.  in iomux_doenv()
121 		if (console_assign(console, start[j]) < 0)  in iomux_doenv()
127 	/* failed to set any console */  in iomux_doenv()
132 		/* Works even if console_devices[console] is NULL. */  in iomux_doenv()
133 		console_devices[console] =  in iomux_doenv()
134 			(struct stdio_dev **)realloc(console_devices[console],  in iomux_doenv()
136 		if (console_devices[console] == NULL) {  in iomux_doenv()
140 		memcpy(console_devices[console], cons_set, cs_idx *  in iomux_doenv()
143 		cd_count[console] = cs_idx;  in iomux_doenv()