|
@@ -17,6 +17,7 @@
|
|
|
#include <asm/intel-mid.h>
|
|
|
#include <asm/pgtable.h>
|
|
|
#include <linux/usb/ehci_def.h>
|
|
|
+#include <linux/usb/xhci-dbgp.h>
|
|
|
#include <linux/efi.h>
|
|
|
#include <asm/efi.h>
|
|
|
#include <asm/pci_x86.h>
|
|
@@ -381,6 +382,10 @@ static int __init setup_early_printk(char *buf)
|
|
|
if (!strncmp(buf, "efi", 3))
|
|
|
early_console_register(&early_efi_console, keep);
|
|
|
#endif
|
|
|
+#ifdef CONFIG_EARLY_PRINTK_USB_XDBC
|
|
|
+ if (!strncmp(buf, "xdbc", 4))
|
|
|
+ early_xdbc_parse_parameter(buf + 4);
|
|
|
+#endif
|
|
|
|
|
|
buf++;
|
|
|
}
|