wbflush_kn210      25 arch/mips/dec/wbflush.c static void wbflush_kn210(void);
wbflush_kn210      38 arch/mips/dec/wbflush.c 		__wbflush = wbflush_kn210;