--- linux-2.5.62/arch/i386/mm/pageattr.c.orig	Fri Feb 21 11:47:19 2003
+++ linux-2.5.62/arch/i386/mm/pageattr.c	Fri Feb 21 12:12:15 2003
@@ -131,10 +131,10 @@
 
 static inline void flush_map(void)
 {	
+	flush_kernel_map(NULL);
 #ifdef CONFIG_SMP 
 	smp_call_function(flush_kernel_map, NULL, 1, 1);
 #endif	
-	flush_kernel_map(NULL);
 }
 
 struct deferred_page { 
--- linux-2.5.62/arch/x86_64/mm/pageattr.c.orig	Fri Feb 21 12:14:25 2003
+++ linux-2.5.62/arch/x86_64/mm/pageattr.c	Fri Feb 21 12:14:30 2003
@@ -123,10 +123,10 @@
 
 static inline void flush_map(unsigned long address)
 {	
+	flush_kernel_map((void *)address);
 #ifdef CONFIG_SMP 
 	smp_call_function(flush_kernel_map, (void *)address, 1, 1);
 #endif	
-	flush_kernel_map((void *)address);
 }
 
 struct deferred_page {