]> err.no Git - linux-2.6/blobdiff - arch/x86/kernel/efi_32.c
Merge branch 'master' of ../linux-2.6/
[linux-2.6] / arch / x86 / kernel / efi_32.c
index cb91f985b4a1f8520e021d995135977729e57481..5d23d85624d46c130cc595517b05c773a6daa2c8 100644 (file)
@@ -28,6 +28,7 @@
 #include <asm/page.h>
 #include <asm/pgtable.h>
 #include <asm/tlbflush.h>
+#include <asm/efi.h>
 
 /*
  * To make EFI call EFI runtime service in physical addressing mode we need