1.1 --- a/xen/arch/ia64/xen/xenpatch.c	Mon Jul 02 10:13:54 2007 -0600
     1.2 +++ b/xen/arch/ia64/xen/xenpatch.c	Mon Jul 02 10:15:37 2007 -0600
     1.3 @@ -90,25 +90,26 @@ ia64_patch_imm64 (u64 insn_addr, u64 val
     1.4  	ia64_patch(insn_addr + 1, 0x1ffffffffffUL, val >> 22);
     1.5  }
     1.6  
     1.7 -extern char frametable_miss;
     1.8 -extern unsigned long xen_pstart;
     1.9 -
    1.10  /*
    1.11   * Add more patch points in seperate functions as appropriate
    1.12   */
    1.13  
    1.14  static void __init xen_patch_frametable_miss(u64 offset)
    1.15  {
    1.16 +#ifdef CONFIG_VIRTUAL_FRAME_TABLE
    1.17 +	extern char frametable_miss;
    1.18  	u64 addr, val;
    1.19  
    1.20  	addr = (u64)&frametable_miss;
    1.21  	val = get_imm64(addr) + offset;
    1.22  	ia64_patch_imm64(addr, val);
    1.23 +#endif
    1.24  }
    1.25  
    1.26  
    1.27  void __init xen_patch_kernel(void)
    1.28  {
    1.29 +	extern unsigned long xen_pstart;
    1.30  	unsigned long patch_offset;
    1.31  
    1.32  	patch_offset = xen_pstart - (KERNEL_START - PAGE_OFFSET);