workNeeded 610 dev/raidframe/rf_paritylogDiskMgr.c int workNeeded, done = RF_FALSE;
workNeeded 639 dev/raidframe/rf_paritylogDiskMgr.c workNeeded = (flushQueue || reintQueue);
workNeeded 642 dev/raidframe/rf_paritylogDiskMgr.c while (workNeeded) {
workNeeded 679 dev/raidframe/rf_paritylogDiskMgr.c workNeeded = (flushQueue || reintQueue);
workNeeded 706 dev/raidframe/rf_paritylogDiskMgr.c workNeeded = (flushQueue || reintQueue);