req_resource_num  433 drivers/infiniband/hw/i40iw/i40iw.h 				       u32 *req_resource_num,
req_resource_num  452 drivers/infiniband/hw/i40iw/i40iw.h 	*req_resource_num = resource_num;