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;