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