Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx4/mad.c mlx4_ib_free_demux_ctx() -> destroy_pv_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->caps.sqp_demux | 1-u16max |
| PARAM_VALUE | 1 | slave | 0-65534 |
| PARAM_VALUE | 4 | flush | 0 |
| CAPPED_DATA | 0 | dev->dev->caps.sqp_demux | 1 |
| CAPPED_DATA | 1 | slave | 1 |
| DATA_SOURCE | 0 | dev | r to_mdev |
| PARAM_COMPARE | 0 | dev->dev->caps.sqp_demux | > $1 |
| PARAM_COMPARE | 1 | slave | < $0->dev->caps.sqp_demux |
| CONSTRAINT | 1 | slave | <3796 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | slave | unit_array_size |
drivers/infiniband/hw/mlx4/mad.c mlx4_ib_tunnels_update() -> destroy_pv_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.coredev.ports_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.driver_def->needs_fn_offset | 0,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,400,408,416,432,440,448,480,520,536,544,592,600,608,616,624,632,640,648,656,704,712,720,728,736,752,760,768,792 |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->cache.last_port_state | 1,4 |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->immutable.pkey_tbl_len | 0-u16max |
| PARAM_VALUE | 0 | dev->iov_parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ports_parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->sriov.demux | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->sriov.sqps | 4096-ptr_max |
| PARAM_VALUE | 2 | port | 0-255 |
| PARAM_VALUE | 4 | flush | 1 |
| CAPPED_DATA | 1 | slave | 1 |
| CAPPED_DATA | 2 | port | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | slave | $1 |
| DATA_SOURCE | 2 | port | $2 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->ib_dev.hw_stats_attr_index | |
| UNITS | 1 | slave | unit_array_size |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/mlx4/mad.c mlx4_ib_tunnels_update() -> destroy_pv_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.coredev.ports_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.driver_def->needs_fn_offset | 0,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,400,408,416,432,440,448,480,520,536,544,592,600,608,616,624,632,640,648,656,704,712,720,728,736,752,760,768,792 |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->cache.last_port_state | 1,4 |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->immutable.pkey_tbl_len | 0-u16max |
| PARAM_VALUE | 0 | dev->iov_parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ports_parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->sriov.demux | 4096-ptr_max |
| PARAM_VALUE | 2 | port | 0-255 |
| PARAM_VALUE | 4 | flush | 1 |
| CAPPED_DATA | 2 | port | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | slave | $1 |
| DATA_SOURCE | 2 | port | $2 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->ib_dev.hw_stats_attr_index | |
| UNITS | 1 | slave | unit_array_size |
| HALF_LOCKED2 | &pool->lock |