Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx4/mcg.c handle_join_req() -> send_reply_to_slave()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | group | 4096-ptr_max |
| PARAM_VALUE | 1 | group->func | 4096-ptr_max |
| PARAM_VALUE | 1 | group->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | group->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | group->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | group->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | group->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | group->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | group->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | group->state | 0 |
| PARAM_VALUE | 1 | *group->members | s32min-s32max |
| PARAM_VALUE | 2 | req_sa_mad | 4096-ptr_max |
| PARAM_VALUE | 2 | req_sa_mad->mad_hdr.method | 0-20,22-255 |
| PARAM_VALUE | 3 | status | 0,512 |
| DATA_SOURCE | 1 | group | $0 |
| DATA_SOURCE | 3 | status | r cmp_rec |
| NOCHECK_CALL | |||
| UNITS | 0 | slave | unit_array_size |
| LOCK2 | 1 | &group->lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mcast_group)->lock |
drivers/infiniband/hw/mlx4/mcg.c handle_leave_req() -> send_reply_to_slave()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | group | 4096-ptr_max |
| PARAM_VALUE | 1 | group->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | group->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | group->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | group->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | group->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | group->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | group->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | group->state | 0 |
| PARAM_VALUE | 1 | *group->members | s32min-s32max |
| PARAM_VALUE | 2 | req_sa_mad | 4096-ptr_max |
| PARAM_VALUE | 2 | req_sa_mad->mad_hdr.method | 21 |
| PARAM_VALUE | 3 | status | 0,512 |
| DATA_SOURCE | 1 | group | $0 |
| DATA_SOURCE | 3 | status | r check_leave |
| NOCHECK_CALL | |||
| UNITS | 0 | slave | unit_array_size |
| LOCK2 | 1 | &group->lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mcast_group)->lock |
drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_work_handler() -> send_reply_to_slave()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | group | 4096-ptr_max |
| PARAM_VALUE | 1 | group->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | group->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | group->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | group->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | group->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | group->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | group->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | group->pending_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | group->response_sa_mad.mad_hdr.method | 129 |
| PARAM_VALUE | 1 | group->response_sa_mad.mad_hdr.status | 1-u16max |
| PARAM_VALUE | 1 | group->state | 3 |
| PARAM_VALUE | 2 | req_sa_mad | 4096-ptr_max |
| PARAM_VALUE | 3 | status | 1-u16max |
| CAPPED_DATA | 1 | group->last_req_tid | 1 |
| CAPPED_DATA | 1 | group->response_sa_mad.mad_hdr.tid | 1 |
| CAPPED_DATA | 1 | &group->lock | 1 |
| CAPPED_DATA | 1 | &group->pending_list | 1 |
| PARAM_COMPARE | 1 | group->last_req_tid | == $1->response_sa_mad.mad_hdr.tid |
| PARAM_COMPARE | 1 | &group->pending_list | != $1->pending_list.next |
| NOCHECK_CALL | |||
| UNITS | 0 | slave | unit_array_size |
| LOCK2 | 1 | &group->lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mcast_group)->lock |