Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/core/device.c
- drivers/infiniband/hw/hns/hns_roce_hw_v2.c, line 7633
- drivers/infiniband/hw/mlx4/main.c, line 2367
Smatch caller information:
drivers/infiniband/core/device.c handle_port_event() -> ib_dispatch_port_state_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibdev | 4096-ptr_max |
| PARAM_VALUE | 0 | ibdev->ops.report_port_event | 0 |
| PARAM_VALUE | 0 | ibdev->refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | ndev | 4096-ptr_max |
| PARAM_VALUE | 1 | ndev->flags | 1024-u32max |
| CAPPED_DATA | 1 | ndev | 1 |
| DATA_SOURCE | 0 | ibdev | r ib_device_get_by_netdev |
| DATA_SOURCE | 1 | ndev | $0 |
| NOCHECK_CALL |
drivers/infiniband/hw/mlx4/main.c mlx4_ib_port_event() -> ib_dispatch_port_state_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibdev | 4096-ptr_max |
| PARAM_VALUE | 1 | ndev | 4096-ptr_max |
| PARAM_VALUE | 1 | ndev->flags | 1024-u32max |
| CAPPED_DATA | 1 | ndev | 1 |
| CAPPED_DATA | 1 | ndev->dev.parent | 1 |
| CAPPED_DATA | 1 | ndev->nd_net.net | 1 |
| DATA_SOURCE | 1 | ndev | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &iboe->lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct mlx4_ib_iboe)->lock |
drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_hw_v2_link_status_change() -> ib_dispatch_port_state_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibdev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |