nflush32 156 drivers/usb/mon/mon_bin.c u32 nflush32; nflush32 1169 drivers/usb/mon/mon_bin.c if (mfetch.nflush32) { nflush32 1170 drivers/usb/mon/mon_bin.c ret = mon_bin_flush(rp, mfetch.nflush32); nflush32 1173 drivers/usb/mon/mon_bin.c if (put_user(ret, &uptr->nflush32))