ppc: Clean up calling of misc_init_r() during init
[platform/kernel/u-boot.git] / include / stdio_dev.h
index 8b06ccf..83da4cd 100644 (file)
@@ -91,6 +91,7 @@ extern char *stdio_names[MAX_FILES];
  */
 int    stdio_register (struct stdio_dev * dev);
 int    stdio_init (void);
+void   stdio_print_current_devices(void);
 #ifdef CONFIG_SYS_STDIO_DEREGISTER
 int    stdio_deregister(char *devname);
 #endif