.. | .. |
---|
8 | 8 | #include <linux/pci_regs.h> |
---|
9 | 9 | #include <linux/pci_ids.h> |
---|
10 | 10 | #include <linux/errno.h> |
---|
| 11 | +#include <linux/pgtable.h> |
---|
11 | 12 | #include <asm/io.h> |
---|
12 | 13 | #include <asm/processor.h> |
---|
13 | 14 | #include <asm/fcntl.h> |
---|
.. | .. |
---|
15 | 16 | #include <xen/hvc-console.h> |
---|
16 | 17 | #include <asm/pci-direct.h> |
---|
17 | 18 | #include <asm/fixmap.h> |
---|
18 | | -#include <asm/intel-mid.h> |
---|
19 | | -#include <asm/pgtable.h> |
---|
20 | 19 | #include <linux/usb/ehci_def.h> |
---|
21 | 20 | #include <linux/usb/xhci-dbgp.h> |
---|
22 | | -#include <linux/efi.h> |
---|
23 | | -#include <asm/efi.h> |
---|
24 | 21 | #include <asm/pci_x86.h> |
---|
25 | 22 | |
---|
26 | 23 | /* Simple VGA output */ |
---|
.. | .. |
---|
387 | 384 | #ifdef CONFIG_HVC_XEN |
---|
388 | 385 | if (!strncmp(buf, "xen", 3)) |
---|
389 | 386 | early_console_register(&xenboot_console, keep); |
---|
390 | | -#endif |
---|
391 | | -#ifdef CONFIG_EARLY_PRINTK_EFI |
---|
392 | | - if (!strncmp(buf, "efi", 3)) |
---|
393 | | - early_console_register(&early_efi_console, keep); |
---|
394 | 387 | #endif |
---|
395 | 388 | #ifdef CONFIG_EARLY_PRINTK_USB_XDBC |
---|
396 | 389 | if (!strncmp(buf, "xdbc", 4)) |
---|