| PARAM_VALUE |
0 |
device |
4096-ptr_max |
| PARAM_VALUE |
0 |
device->client_data.xa_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
device->client_data_rwsem.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
device->client_data_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
device->client_data_rwsem.first_waiter->list.next |
2624917664208203776 |
| PARAM_VALUE |
0 |
device->client_data_rwsem.first_waiter->list.prev |
2624917664208203776 |
| PARAM_VALUE |
0 |
device->client_data_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
device->client_data_rwsem.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
device->client_data_rwsem.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
device->coredev.ports_kobj->sd->attr.open->nr_mmapped |
0-4294967295 |
| PARAM_VALUE |
0 |
device->driver_def->kind |
0-6 |
| PARAM_VALUE |
0 |
device->driver_def->scope |
0-2 |
| PARAM_VALUE |
0 |
device->port_data->cache.last_port_state |
1,4 |
| PARAM_VALUE |
0 |
device->port_data->immutable.pkey_tbl_len |
0-u16max |
| BUF_SIZE |
0 |
device->driver_def |
(-1),32,112 |
| CAPPED_DATA |
0 |
device |
1 |
| CAPPED_DATA |
0 |
&device->client_data_rwsem |
1 |
| DATA_SOURCE |
0 |
device |
$0 |
| STR_LEN |
0 |
device |
(-1),6-9,11-12 |
| STR_LEN |
0 |
device |
(-1),6-9,11-12 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
0 |
device->client_data.xa_flags |
0-u32max |
| HOST_DATA |
0 |
device->client_data_rwsem.osq.tail.counter |
0-s32max |
| HOST_DATA |
0 |
device->num_comp_vectors |
1-s32max |
| HOST_DATA |
0 |
device->phys_port_cnt |
0-u32max |
| NO_OVERFLOW_SIMPLE |
0 |
device->hw_stats_attr_index |
|
| NO_OVERFLOW_SIMPLE |
0 |
device->num_comp_vectors |
|
| NO_OVERFLOW_SIMPLE |
0 |
device->phys_port_cnt |
|
| LOCK2 |
|
global &clients_rwsem |
|
| LOCK2 |
|
global &devices_rwsem |
|
| LOCK2 |
0 |
&device->client_data_rwsem |
|
| HALF_LOCKED2 |
0 |
&device->unregistration_lock |
|
| TYPE_LOCK |
|
(struct ib_device)->client_data_rwsem |
|
