diff options
-rw-r--r-- | arch/x86/platform/efi/efi_32.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/platform/efi/efi_32.c b/arch/x86/platform/efi/efi_32.c index 5cab48ee61a4..e36bf714cb77 100644 --- a/arch/x86/platform/efi/efi_32.c +++ b/arch/x86/platform/efi/efi_32.c | |||
@@ -25,6 +25,7 @@ | |||
25 | #include <linux/efi.h> | 25 | #include <linux/efi.h> |
26 | 26 | ||
27 | #include <asm/io.h> | 27 | #include <asm/io.h> |
28 | #include <asm/desc.h> | ||
28 | #include <asm/page.h> | 29 | #include <asm/page.h> |
29 | #include <asm/pgtable.h> | 30 | #include <asm/pgtable.h> |
30 | #include <asm/tlbflush.h> | 31 | #include <asm/tlbflush.h> |