Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/mad.c ib_mad_complete_recv() -> (struct ib_mad_agent)->recv_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mad_agent | 4096-ptr_max |
| PARAM_VALUE | 0 | mad_agent->device | 4096-ptr_max |
| PARAM_VALUE | 0 | mad_agent->recv_handler | 1-u64max |
| PARAM_VALUE | 0 | mad_agent->rmpp_version | 1-255 |
| PARAM_VALUE | 1 | send_buf | 0 |
| PARAM_VALUE | 2 | mad_recv_wc | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.mad | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.mad->mad_hdr.mgmt_class | 3,6,16,18,48-79 |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev->prev | 4096-ptr_max |
| DATA_SOURCE | 2 | mad_recv_wc | $1 [m] |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/mad.c ib_mad_complete_recv() -> (struct ib_mad_agent)->recv_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mad_agent | 4096-ptr_max |
| PARAM_VALUE | 0 | mad_agent->device | 4096-ptr_max |
| PARAM_VALUE | 0 | mad_agent->recv_handler | 1-u64max |
| PARAM_VALUE | 0 | mad_agent->rmpp_version | 1-255 |
| PARAM_VALUE | 1 | send_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | send_buf->mad | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.mad | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 2 | mad_recv_wc->recv_buf.mad->mad_hdr.mgmt_class | 1 |
| CAPPED_DATA | 2 | mad_recv_wc->recv_buf.mad->mad_hdr.tid | 1 |
| DATA_SOURCE | 2 | mad_recv_wc | $1 [m] |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/mad.c ib_mad_complete_recv() -> (struct ib_mad_agent)->recv_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mad_agent | 4096-ptr_max |
| PARAM_VALUE | 0 | mad_agent->device | 4096-ptr_max |
| PARAM_VALUE | 0 | mad_agent->recv_handler | 1-u64max |
| PARAM_VALUE | 0 | mad_agent->rmpp_version | 1-255 |
| PARAM_VALUE | 1 | send_buf | 0 |
| PARAM_VALUE | 2 | mad_recv_wc | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.mad | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.mad->mad_hdr.method | 0-6,8-255 |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev->prev | 4096-ptr_max |
| DATA_SOURCE | 2 | mad_recv_wc | $1 [m] |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/mad.c local_completions() -> (struct ib_mad_agent)->recv_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | send_buf | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->mad_seg_size | 256,2048 |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.grh | 0 |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.mad | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->recv_buf.opa_mad | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->rmpp_list.prev | 4096-ptr_max |
| PARAM_VALUE | 2 | mad_recv_wc->wc | 5154612600015630336 |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |