Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/mad.c handle_outgoing_dr_smp() -> (struct ib_device_ops)->process_mad()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibdev | 4096-ptr_max |
| PARAM_VALUE | 0 | ibdev->ops.process_mad | 1-u64max |
| PARAM_VALUE | 0 | ibdev->port_data | 4096-ptr_max |
| PARAM_VALUE | 1 | process_mad_flags | 0 |
| PARAM_VALUE | 3 | in_wc | 7148849807085535232 |
| PARAM_VALUE | 3 | in_wc->dlid_path_bits | 0 |
| PARAM_VALUE | 3 | in_wc->ex.imm_data | 0 |
| PARAM_VALUE | 3 | in_wc->ex.invalidate_rkey | 0 |
| PARAM_VALUE | 3 | in_wc->network_hdr_type | 0 |
| PARAM_VALUE | 3 | in_wc->opcode | 128 |
| PARAM_VALUE | 3 | in_wc->sl | 0 |
| PARAM_VALUE | 3 | in_wc->slid | 0-u16max |
| PARAM_VALUE | 3 | in_wc->src_qp | 0 |
| PARAM_VALUE | 3 | in_wc->status | 0 |
| PARAM_VALUE | 3 | in_wc->vendor_err | 0 |
| PARAM_VALUE | 3 | in_wc->vlan_id | 0 |
| PARAM_VALUE | 3 | in_wc->wc_flags | 0 |
| PARAM_VALUE | 4 | in_grh | 0 |
| PARAM_VALUE | 5 | in | 4096-ptr_max |
| PARAM_VALUE | 7 | out_mad_size | 7939206328594202624 |
| PARAM_VALUE | 7 | *out_mad_size | 0-u32max |
| PARAM_VALUE | 8 | out_mad_pkey_index | 5431362983843672064 |
| PARAM_VALUE | 8 | *out_mad_pkey_index | 0 |
| BUF_SIZE | 5 | in | 376,392,408,416,608,2400 |
| BUF_SIZE | 5 | in | 376,392,408,416,608,2400 |
| CONTAINER | 0 | -104-8+0 | $(-1) |
| MEM_ZERO | 3 | in_wc | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &cm_id_priv->lock | ||
| HALF_LOCKED2 | &dev->sm_lock | ||
| HALF_LOCKED2 | &file->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &ib_nl_request_lock | ||
| HALF_LOCKED2 | irq |
drivers/infiniband/core/mad.c ib_mad_recv_done() -> (struct ib_device_ops)->process_mad()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibdev | 4096-ptr_max |
| PARAM_VALUE | 0 | ibdev->dma_device | 0 |
| PARAM_VALUE | 0 | ibdev->dma_device->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ibdev->ops.process_mad | 1-u64max |
| PARAM_VALUE | 1 | process_mad_flags | 0 |
| PARAM_VALUE | 3 | in_wc | 4096-ptr_max |
| PARAM_VALUE | 3 | in_wc->status | 0 |
| PARAM_VALUE | 3 | in_wc->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 4 | in_grh | 4096-ptr_max |
| PARAM_VALUE | 5 | in | 4096-ptr_max |
| PARAM_VALUE | 7 | out_mad_size | 8732041232400683008 |
| PARAM_VALUE | 8 | out_mad_pkey_index | 3307290071656185856 |
| PARAM_VALUE | 8 | *out_mad_pkey_index | 0 |
| CAPPED_DATA | 0 | ibdev | 1 |
| DATA_SOURCE | 3 | in_wc | $1 |
| CONTAINER | 0 | *(-104-8+0) | $(-1) |
| CONTAINER | 2 | *(-104-8-16+24) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/core/sysfs.c get_perf_mad() -> (struct ib_device_ops)->process_mad()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibdev | 4096-ptr_max |
| PARAM_VALUE | 0 | ibdev->ops.process_mad | 1-u64max |
| PARAM_VALUE | 1 | process_mad_flags | 1 |
| PARAM_VALUE | 3 | in_wc | 0 |
| PARAM_VALUE | 4 | in_grh | 0 |
| PARAM_VALUE | 5 | in | 4096-ptr_max |
| PARAM_VALUE | 5 | in->mad_hdr.base_version | 1 |
| PARAM_VALUE | 5 | in->mad_hdr.class_version | 1 |
| PARAM_VALUE | 5 | in->mad_hdr.method | 1 |
| PARAM_VALUE | 5 | in->mad_hdr.mgmt_class | 4 |
| PARAM_VALUE | 6 | out | 4096-ptr_max |
| PARAM_VALUE | 7 | out_mad_size | 935531042394275840 |
| PARAM_VALUE | 7 | *out_mad_size | 256 |
| PARAM_VALUE | 8 | out_mad_pkey_index | 1741153387975057408 |
| PARAM_VALUE | 8 | *out_mad_pkey_index | 0 |
| BUF_SIZE | 5 | in | 256 |
| BUF_SIZE | 6 | out | 256 |
| DATA_SOURCE | 0 | ibdev | $0 |
| DATA_SOURCE | 2 | port_num | $1 |
| DATA_SOURCE | 5 | in | r _kzalloc_noprof |
| DATA_SOURCE | 6 | out | r _kzalloc_noprof |
| CONTAINER | 0 | -104-8+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex |