Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/mad.c clear_mad_error_list() -> (struct ib_mad_agent)->send_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mad_agent | 4096-ptr_max |
| PARAM_VALUE | 1 | mad_send_wc | 8011955019072716800 |
| PARAM_VALUE | 1 | mad_send_wc->send_buf | 7206515375277178904,9089161017500274712,9192119923706597400 |
| PARAM_VALUE | 1 | mad_send_wc->status | 5,20 |
| PARAM_VALUE | 1 | mad_send_wc->vendor_err | 0 |
| CONTAINER | 0 | -24+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/mad.c ib_mad_complete_send_wr() -> (struct ib_mad_agent)->send_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mad_send_wc | 484606645543051264,2268945886867075072,2708952456795992064,5524958691851108352 |
| PARAM_VALUE | 1 | mad_send_wc->send_buf | 4096-ptr_max |
| DATA_SOURCE | 1 | mad_send_wc | $1 |
| CONTAINER | 0 | -24+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/mad.c local_completions() -> (struct ib_mad_agent)->send_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mad_agent | 4096-ptr_max |
| PARAM_VALUE | 1 | mad_send_wc | 1473784511683694592 |
| PARAM_VALUE | 1 | mad_send_wc->send_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | mad_send_wc->status | 0 |
| PARAM_VALUE | 1 | mad_send_wc->vendor_err | 0 |
| CONTAINER | 0 | -24+0 | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/core/mad.c process_backlog_mads() -> (struct ib_mad_agent)->send_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mad_agent | 4096-ptr_max |
| PARAM_VALUE | 1 | mad_send_wc | 4077049316258750464 |
| PARAM_VALUE | 1 | mad_send_wc->send_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | mad_send_wc->status | 2 |
| PARAM_VALUE | 1 | mad_send_wc->vendor_err | 0 |
| CONTAINER | 0 | -24+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |