Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/mellanox/mlx4/eq.c mlx4_gen_slaves_port_mgt_ev() -> slave_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave | 255 |
| PARAM_VALUE | 2 | eqe | 8313660110996484096 |
| PARAM_VALUE | 2 | eqe->event.port_mgmt_change.params.port_info.changed_attr | 2,4,8 |
| PARAM_VALUE | 2 | eqe->subtype | 21 |
| PARAM_VALUE | 2 | eqe->type | 29 |
| DATA_SOURCE | 0 | dev | $0 |
| MEM_ZERO | 2 | eqe | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/mellanox/mlx4/eq.c mlx4_slave_event() -> slave_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->persist | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->persist->num_vfs | 0-s32max |
| PARAM_VALUE | 2 | eqe | 4096-ptr_max |
| PARAM_VALUE | 2 | eqe->type | 1-5,7,9,16-20,27 |
| CAPPED_DATA | 1 | slave | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | slave | $1 |
| DATA_SOURCE | 2 | eqe | $2 |
| PARAM_COMPARE | 0 | dev->caps.function | != $1 |
| PARAM_COMPARE | 0 | dev->persist->num_vfs | >= $1 |
| PARAM_COMPARE | 1 | slave | != $0->caps.function |
| PARAM_COMPARE | 1 | slave | <= $0->persist->num_vfs |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | slave | unit_array_size |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |