diff options
author | Keir Fraser <keir@xensource.com> | 2007-10-17 14:38:19 +0100 |
---|---|---|
committer | Keir Fraser <keir@xensource.com> | 2007-10-17 14:38:19 +0100 |
commit | 3052b875c7230ae3365c42bf1a99681563244b35 (patch) | |
tree | 9f7c3529f997fc266da9dc3e6964cffaca34b14f /xen/arch/x86/smp.c | |
parent | f69c1f0351bf67ff1abc06eb0d40dd1120e92c5a (diff) | |
download | xen-3052b875c7230ae3365c42bf1a99681563244b35.tar.gz xen-3052b875c7230ae3365c42bf1a99681563244b35.tar.bz2 xen-3052b875c7230ae3365c42bf1a99681563244b35.zip |
x86: Tighten handling of page-type attributes and make
map_pages_to_xen() smarter and safer.
Signed-off-by: Jan Beulich <jbeulich@novell.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'xen/arch/x86/smp.c')
-rw-r--r-- | xen/arch/x86/smp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/x86/smp.c b/xen/arch/x86/smp.c index 1d575e678e..5f7585acf8 100644 --- a/xen/arch/x86/smp.c +++ b/xen/arch/x86/smp.c @@ -182,7 +182,7 @@ fastcall void smp_invalidate_interrupt(void) void flush_area_mask(cpumask_t mask, const void *va, unsigned int flags) { ASSERT(local_irq_is_enabled()); - + if ( cpu_isset(smp_processor_id(), mask) ) { flush_area_local(va, flags); |