waitmax          1335 drivers/misc/genwqe/card_ddcb.c 	int waitmax = GENWQE_DDCB_SOFTWARE_TIMEOUT;
waitmax          1351 drivers/misc/genwqe/card_ddcb.c 	for (i = 0; i < waitmax; i++) {
waitmax          1359 drivers/misc/genwqe/card_ddcb.c 			i, waitmax, in_flight);
waitmax          1370 drivers/misc/genwqe/card_ddcb.c 	if (i == waitmax) {