ia64/xen-unstable

changeset 16946:13eb21985d3d

[IA64] Flush cache after patch kernel

Need flushing cache here, if not, i/d cache may be not synchronous.

Signed-off-by: Duan Ronghui <ronghui.duan@intel.com>
author Alex Williamson <alex.williamson@hp.com>
date Wed Jan 30 10:50:24 2008 -0700 (2008-01-30)
parents 5f997b5b8a58
children 33d0cf9474f9
files xen/arch/ia64/xen/xenpatch.c
line diff
     1.1 --- a/xen/arch/ia64/xen/xenpatch.c	Wed Jan 30 15:19:22 2008 +0000
     1.2 +++ b/xen/arch/ia64/xen/xenpatch.c	Wed Jan 30 10:50:24 2008 -0700
     1.3 @@ -103,6 +103,7 @@ static void __init xen_patch_frametable_
     1.4  	addr = (u64)&frametable_miss;
     1.5  	val = get_imm64(addr) + offset;
     1.6  	ia64_patch_imm64(addr, val);
     1.7 +	ia64_fc(addr);
     1.8  #endif
     1.9  }
    1.10