|
@@ -38,18 +38,19 @@ static inline void debug_putstr(const char *s)
|
|
|
|
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
+#ifdef CONFIG_EARLY_PRINTK
|
|
|
|
+
|
|
/* cmdline.c */
|
|
/* cmdline.c */
|
|
int cmdline_find_option(const char *option, char *buffer, int bufsize);
|
|
int cmdline_find_option(const char *option, char *buffer, int bufsize);
|
|
int cmdline_find_option_bool(const char *option);
|
|
int cmdline_find_option_bool(const char *option);
|
|
|
|
|
|
/* early_serial_console.c */
|
|
/* early_serial_console.c */
|
|
-#ifdef CONFIG_EARLY_PRINTK
|
|
|
|
-
|
|
|
|
extern int early_serial_base;
|
|
extern int early_serial_base;
|
|
void console_init(void);
|
|
void console_init(void);
|
|
|
|
|
|
#else
|
|
#else
|
|
|
|
|
|
|
|
+/* early_serial_console.c */
|
|
static const int early_serial_base;
|
|
static const int early_serial_base;
|
|
static inline void console_init(void)
|
|
static inline void console_init(void)
|
|
{ }
|
|
{ }
|