--- tlb-race/mm/memory.c.~1~	Fri Jul 28 07:24:15 2000
+++ tlb-race/mm/memory.c	Tue Aug  1 19:58:43 2000
@@ -781,8 +781,13 @@
  */
 static inline void establish_pte(struct vm_area_struct * vma, unsigned long address, pte_t *page_table, pte_t entry)
 {
+#ifdef __s390__
 	flush_tlb_page(vma, address);
+#endif
 	set_pte(page_table, entry);
+#ifndef __s390__
+	flush_tlb_page(vma, address);
+#endif
 	update_mmu_cache(vma, address, entry);
 }