Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/infiniband/hw/mlx4/alias_GUID.c, line 592
- drivers/infiniband/hw/mlx4/mad.c, line 342
- drivers/infiniband/hw/mlx4/main.c, line 2851
- drivers/net/ethernet/mellanox/mlx4/main.c, line 822
Smatch caller information:
drivers/infiniband/hw/mlx4/mad.c __propagate_pkey_ev() -> mlx4_is_slave_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave | 0-65534 |
| CAPPED_DATA | 1 | slave | 1 |
| PARAM_COMPARE | 0 | dev->caps.sqp_demux | > $1 |
| PARAM_COMPARE | 1 | slave | < $0->caps.sqp_demux |
| CONSTRAINT | 1 | slave | <3796 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | slave | unit_array_size |
drivers/infiniband/hw/mlx4/main.c mlx4_ib_probe() -> mlx4_is_slave_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave | 0-127 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | slave | unit_array_size |
drivers/infiniband/hw/mlx4/alias_GUID.c mlx4_ib_guid_port_init() -> mlx4_is_slave_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave | 1-127 |
| CAPPED_DATA | 1 | slave | 1 |
| PARAM_COMPARE | 0 | dev->persist->num_vfs | >= $1 |
| PARAM_COMPARE | 1 | slave | <= $0->persist->num_vfs |
| HARD_MAX | 1 | slave | 127 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | slave | unit_array_size |
| LOCK2 | &dev->sriov.alias_guid.ag_work_lock | ||
| LOCK2 | &dev->sriov.going_down_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags1 | ||
| TYPE_LOCK | (struct mlx4_ib_sriov)->going_down_lock | ||
| TYPE_LOCK | (struct mlx4_sriov_alias_guid)->ag_work_lock |