| .. | .. |
|---|
| 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)) |
|---|