wbflush_kn01       24 arch/mips/dec/wbflush.c static void wbflush_kn01(void);
wbflush_kn01       35 arch/mips/dec/wbflush.c 		__wbflush = wbflush_kn01;