From f338a54e6d9aad3759f28eeec63a61df9dd0acf0 Mon Sep 17 00:00:00 2001
From: Harvey Harrison <harvey.harrison@gmail.com>
Date: Wed, 13 Feb 2008 13:26:39 -0800
Subject: [PATCH] --- yaml --- r: 85969 b: refs/heads/master c:
 cc7e73f35dccba7503bdaf40bb5189225697664d h: refs/heads/master i:   85967:
 15a5a7b3bd57b62fd13efe98ba94b722daa1b0db v: v3

---
 [refs]                         | 2 +-
 trunk/arch/x86/kernel/efi_32.c | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 4cd121a07fa9..5bc7dc8bb759 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f1452d424dc0e079fb97af8cb8d3a0f7b5fddd46
+refs/heads/master: cc7e73f35dccba7503bdaf40bb5189225697664d
diff --git a/trunk/arch/x86/kernel/efi_32.c b/trunk/arch/x86/kernel/efi_32.c
index cb91f985b4a1..5d23d85624d4 100644
--- a/trunk/arch/x86/kernel/efi_32.c
+++ b/trunk/arch/x86/kernel/efi_32.c
@@ -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