Need flushing cache here, if
not, i/d cache may be not synchronous.
 
Signed-off-by: Duan Ronghui
<ronghui.duan@xxxxxxxxx>
 
diff -r 32ec5dbe2978
xen/arch/ia64/xen/xenpatch.c
---
a/xen/arch/ia64/xen/xenpatch.c  Fri Nov 30 08:54:33 2007 -0700
+++
b/xen/arch/ia64/xen/xenpatch.c  Wed Jan 30 14:47:46 2008 +0800
@@ -103,6 +103,7 @@ static
void __init xen_patch_frametable_
      addr =
(u64)&frametable_miss;
      val = get_imm64(addr)
+ offset;
      ia64_patch_imm64(addr,
val);
+     ia64_fc(addr);
 #endif
 }
 
Best regards
Ronghui