Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/hw/mlx4/mad.c mlx4_ib_demux_mad() -> mlx4_ib_send_to_slave()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave | s32min-65534 |
| PARAM_VALUE | 4 | wc | 875782957414027264 |
| PARAM_VALUE | 4 | wc->opcode | 128 |
| PARAM_VALUE | 4 | wc->qp | 4096-ptr_max |
| PARAM_VALUE | 4 | wc->status | 0 |
| PARAM_VALUE | 4 | wc->wc_flags | s32min-(-1),1-s32max |
| PARAM_VALUE | 5 | grh | 4096-ptr_max |
| PARAM_VALUE | 5 | grh->ibgrh.version | 0-15 |
| PARAM_VALUE | 6 | mad | 4096-ptr_max |
| PARAM_VALUE | 6 | mad->mad_hdr.mgmt_class | 7 |
| BUF_SIZE | 5 | grh | 40 |
| BUF_SIZE | 6 | mad | 256 |
| CAPPED_DATA | 1 | slave | 1 |
| DATA_SOURCE | 0 | dev | r to_mdev |
| DATA_SOURCE | 2 | port | $1 [m] |
| DATA_SOURCE | 4 | wc | $2 |
| DATA_SOURCE | 5 | grh | $3 |
| DATA_SOURCE | 6 | mad | $4 |
| PARAM_COMPARE | 0 | dev->dev->caps.sqp_demux | > $1 |
| PARAM_COMPARE | 1 | slave | < $0->dev->caps.sqp_demux |
| CONSTRAINT | 1 | slave | <3796 |
| BIT_INFO | 4 | wc->wc_flags | 0x1,0xffffffff |
| UNITS | 1 | slave | unit_array_size |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/mlx4/mad.c mlx4_ib_demux_mad() -> mlx4_ib_send_to_slave()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave | s32min-65534 |
| PARAM_VALUE | 4 | wc | 875782957414027264 |
| PARAM_VALUE | 4 | wc->opcode | 128 |
| PARAM_VALUE | 4 | wc->qp | 4096-ptr_max |
| PARAM_VALUE | 4 | wc->status | 0 |
| PARAM_VALUE | 6 | mad | 4096-ptr_max |
| BUF_SIZE | 5 | grh | 40 |
| BUF_SIZE | 6 | mad | 256 |
| CAPPED_DATA | 1 | slave | 1 |
| DATA_SOURCE | 0 | dev | r to_mdev |
| DATA_SOURCE | 2 | port | $1 |
| DATA_SOURCE | 4 | wc | $2 |
| DATA_SOURCE | 5 | grh | $3 |
| DATA_SOURCE | 6 | mad | $4 |
| PARAM_COMPARE | 0 | dev->dev->caps.sqp_demux | > $1 |
| PARAM_COMPARE | 1 | slave | < $0->dev->caps.sqp_demux |
| CONSTRAINT | 1 | slave | <3796 |
| UNITS | 1 | slave | unit_array_size |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/mlx4/mcg.c send_mad_to_slave() -> mlx4_ib_send_to_slave()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ib_dev.cache_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->send_agent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->sm_ah | 4096-ptr_max |
| PARAM_VALUE | 3 | dest_qpt | 1 |
| PARAM_VALUE | 4 | wc | 9185659351790239744 |
| PARAM_VALUE | 4 | wc->sl | 0 |
| PARAM_VALUE | 4 | wc->src_qp | 1 |
| PARAM_VALUE | 5 | grh | 0 |
| PARAM_VALUE | 6 | mad | 5438319227561619456 |
| CAPPED_DATA | 2 | port | 1 |
| DATA_SOURCE | 1 | slave | $0 |
| DATA_SOURCE | 6 | mad | $2 |
| MEM_ZERO | 6 | mad | |
| UNITS | 1 | slave | unit_array_size |
| LOCK2 | &group->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mcast_group)->lock |