2 files changed, 1 insertions, 19 deletions

diff --git a/arch/mips/tx4938/common/irq.c b/arch/mips/tx4938/common/irq.c
index b6024749b8f4..77fe2454f5b9 100644
--- a/arch/mips/tx4938/common/irq.c
+++ b/arch/mips/tx4938/common/irq.c
@@ -30,6 +30,7 @@
 #include <asm/irq.h>
 #include <asm/mipsregs.h>
 #include <asm/system.h>
+#include <asm/wbflush.h>
 #include <asm/tx4938/rbtx4938.h>
 
 /**********************************************************************************/
diff --git a/arch/mips/tx4938/common/setup.c b/arch/mips/tx4938/common/setup.c
index 71859c4fee84..f415a1f18fba 100644
--- a/arch/mips/tx4938/common/setup.c
+++ b/arch/mips/tx4938/common/setup.c
@@ -41,29 +41,10 @@ void __init tx4938_setup(void);
 void __init tx4938_time_init(void);
 void dump_cp0(char *key);
 
-void (*__wbflush) (void);
-
-static void
-tx4938_write_buffer_flush(void)
-{
-        mmiowb();
-
-        __asm__ __volatile__(
-                ".set   push\n\t"
-                ".set   noreorder\n\t"
-                "lw     $0,%0\n\t"
-                "nop\n\t"
-                ".set   pop"
-                : /* no output */
-                : "m" (*(int *)KSEG1)
-                : "memory");
-}
-
 void __init
 plat_mem_setup(void)
 {
         board_time_init = tx4938_time_init;
-        __wbflush = tx4938_write_buffer_flush;
         toshiba_rbtx4938_setup();
 }