invalid_cnt       141 drivers/infiniband/hw/i40iw/i40iw_puda.c 	u32 invalid_cnt = rsrc->rxq_invalid_cnt;
invalid_cnt       144 drivers/infiniband/hw/i40iw/i40iw_puda.c 	for (i = 0; i < invalid_cnt; i++) {