wbflush_mips       26 arch/mips/dec/wbflush.c static void wbflush_mips(void);
wbflush_mips       45 arch/mips/dec/wbflush.c 		__wbflush = wbflush_mips;