+#if !defined(CONFIG_8xx) /* * This gets called at the end of handling a page fault, when * the kernel has put a new PTE into the page table for the process.@@ -88,6 +92,7 @@ * waiting for the inevitable extra hash-table miss exception. */ extern void update_mmu_cache(struct vm_area_struct *, unsigned long, pte_t);+#endif

+#if !defined(CONFIG_8xx) /* * This is called at the end of handling a user page fault, when the * fault has been handled by updating a PTE in the linux page tables.@@ -642,3 +643,4 @@ } #endif }+#endif