resource_num      436 drivers/infiniband/hw/i40iw/i40iw.h 	u32 resource_num;
resource_num      440 drivers/infiniband/hw/i40iw/i40iw.h 	resource_num = find_next_zero_bit(resource_array, max_resources, *next);
resource_num      441 drivers/infiniband/hw/i40iw/i40iw.h 	if (resource_num >= max_resources) {
resource_num      442 drivers/infiniband/hw/i40iw/i40iw.h 		resource_num = find_first_zero_bit(resource_array, max_resources);
resource_num      443 drivers/infiniband/hw/i40iw/i40iw.h 		if (resource_num >= max_resources) {
resource_num      448 drivers/infiniband/hw/i40iw/i40iw.h 	set_bit(resource_num, resource_array);
resource_num      449 drivers/infiniband/hw/i40iw/i40iw.h 	*next = resource_num + 1;
resource_num      452 drivers/infiniband/hw/i40iw/i40iw.h 	*req_resource_num = resource_num;
resource_num      467 drivers/infiniband/hw/i40iw/i40iw.h 					       u32 resource_num)
resource_num      474 drivers/infiniband/hw/i40iw/i40iw.h 	bit_is_set = test_bit(resource_num, resource_array);
resource_num      488 drivers/infiniband/hw/i40iw/i40iw.h 				       u32 resource_num)
resource_num      493 drivers/infiniband/hw/i40iw/i40iw.h 	clear_bit(resource_num, resource_array);