| PARAM_VALUE |
0 |
counter |
4096-ptr_max |
| PARAM_VALUE |
0 |
counter->kref.refcount.refs.counter |
(-1073741824),0-s32max |
| PARAM_VALUE |
0 |
counter->lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
counter->lock.first_waiter |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
counter->lock.first_waiter->list.prev->next |
5159360019465732096 |
| PARAM_VALUE |
0 |
counter->lock.first_waiter->task->blocked_on |
0 |
| PARAM_VALUE |
0 |
counter->lock.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
counter->lock.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
counter->lock.wait_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
counter->lock.wait_lock.owner_cpu |
u32max |
| PARAM_VALUE |
1 |
ibqp |
4096-ptr_max |
| PARAM_VALUE |
1 |
ibqp->counter |
0 |
| PARAM_VALUE |
1 |
ibqp->device |
4096-ptr_max |
| PARAM_VALUE |
1 |
ibqp->device->ops.counter_bind_qp |
1-u64max |
| PARAM_VALUE |
1 |
ibqp->xrcd->tgt_qps_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
1 |
ibqp->xrcd->tgt_qps_rwsem.first_waiter->type |
0-1 |
| CAPPED_DATA |
0 |
counter->device |
1 |
| CAPPED_DATA |
0 |
counter->port |
1 |
| CAPPED_DATA |
0 |
&counter->lock |
1 |
| CAPPED_DATA |
2 |
port |
1 |
| DATA_SOURCE |
0 |
counter |
$0 |
| DATA_SOURCE |
1 |
ibqp |
$1 |
| DATA_SOURCE |
2 |
port |
$2 |
| CONTAINER |
1 |
-1000-8-0+0 |
$(-1) |
| NOSPEC |
0 |
counter->port |
|
| NOSPEC |
2 |
port |
|
| NOSPEC |
2 |
port |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
counter->port |
0-255[c] |
| USER_DATA |
1 |
ibqp->counter->port |
0-255[c] |
| USER_DATA |
1 |
ibqp->port |
0-255 |
| USER_DATA |
2 |
port |
0-255[c] |
| LOCK2 |
0 |
&counter->lock |
|
| TYPE_LOCK |
|
(struct rdma_counter)->lock |
|
