--- linux-2.4.23-pa1/include/asm-parisc/pgalloc.h	2003-03-10 08:02:19.000000000 +0100
+++ linux-2.4.23-rc5-pa17/include/asm-parisc/pgalloc.h	2003-12-04 11:06:31.000000000 +0100
@@ -124,8 +124,9 @@
 
 #define flush_icache_page(vma,page)	do { flush_kernel_dcache_page(page_address(page)); flush_kernel_icache_page(page_address(page)); } while (0)
 
-#define flush_icache_user_range(vma, page, addr, len) \
-	flush_user_icache_range(addr, addr + len);
+#define flush_icache_user_range(vma, page, addr, len) do { \
+        flush_user_dcache_range(addr, addr + len); \
+	flush_user_icache_range(addr, addr + len); } while (0)
 
 #define flush_icache_range(s,e)		do { flush_kernel_dcache_range_asm(s,e); flush_kernel_icache_range_asm(s,e); } while (0)