skip_high          50 drivers/infiniband/hw/cxgb3/cxio_resource.c 				   u32 skip_high,
skip_high          61 drivers/infiniband/hw/cxgb3/cxio_resource.c 	for (i = 0; i < skip_low + skip_high; i++)
skip_high          68 drivers/infiniband/hw/cxgb3/cxio_resource.c 		for (i = skip_low + RANDOM_SIZE; i < nr - skip_high; i++) {
skip_high          85 drivers/infiniband/hw/cxgb3/cxio_resource.c 		for (i = skip_low; i < nr - skip_high; i++)
skip_high          88 drivers/infiniband/hw/cxgb3/cxio_resource.c 	for (i = 0; i < skip_low + skip_high; i++)
skip_high          96 drivers/infiniband/hw/cxgb3/cxio_resource.c 				   u32 nr, u32 skip_low, u32 skip_high)
skip_high          99 drivers/infiniband/hw/cxgb3/cxio_resource.c 					  skip_high, 0));
skip_high         104 drivers/infiniband/hw/cxgb3/cxio_resource.c 				   u32 nr, u32 skip_low, u32 skip_high)
skip_high         108 drivers/infiniband/hw/cxgb3/cxio_resource.c 					  skip_high, 1));