ddcbs_finished 366 drivers/misc/genwqe/card_ddcb.c int ddcbs_finished = 0; ddcbs_finished 372 drivers/misc/genwqe/card_ddcb.c while (!queue_empty(queue) && (ddcbs_finished < queue->ddcb_max)) { ddcbs_finished 449 drivers/misc/genwqe/card_ddcb.c ddcbs_finished++; ddcbs_finished 454 drivers/misc/genwqe/card_ddcb.c return ddcbs_finished;