diff -r 5cb433971bf6 xen/arch/ia64/vmx/vmx_phy_mode.c
--- a/xen/arch/ia64/vmx/vmx_phy_mode.c	Fri Jul 11 15:41:53 2008 +0900
+++ b/xen/arch/ia64/vmx/vmx_phy_mode.c	Fri Jul 11 15:47:49 2008 +0900
@@ -22,6 +22,7 @@
  */
 
 
+#include <linux/efi.h>
 #include <asm/processor.h>
 #include <asm/gcc_intrin.h>
 #include <asm/vmx_phy_mode.h>
@@ -132,8 +133,6 @@
 	VMX(vcpu, vrr[VRN6]) = 0x38;
 	VMX(vcpu, vrr[VRN7]) = 0x738;
 }
-
-extern void * pal_vaddr;
 
 void
 vmx_load_all_rr(VCPU *vcpu)