Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c irdma_accept() -> (struct irdma_sc_dev)->ws_add()

Type Parameter Key Value
CONTAINER 1 *(-13160-16+1030) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &sport->mutex
HALF_LOCKED2 &srv->paths_mutex

drivers/infiniband/hw/irdma/cm.c irdma_connect() -> (struct irdma_sc_dev)->ws_add()

Type Parameter Key Value
CONTAINER 0 *(-13160-240+248) $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 user_pri 0-7[c]
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/hw/irdma/puda.c irdma_puda_qp_create() -> (struct irdma_sc_dev)->ws_add()

Type Parameter Key Value
PARAM_VALUE 0 vsi 4096-ptr_max
PARAM_VALUE 0 vsi->ieq 4096-ptr_max
PARAM_VALUE 0 vsi->ieq_count 1
CONTAINER 0 *(-13160-728+736) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_suspend_resume_qps() -> (struct irdma_sc_dev)->ws_add()

Type Parameter Key Value
PARAM_VALUE 0 vsi 4096-ptr_max
PARAM_VALUE 0 vsi->dev 4096-ptr_max
PARAM_VALUE 0 vsi->qos 4096-ptr_max
PARAM_VALUE 0 vsi->tc_change_pending 0
PARAM_VALUE 1 user_pri 0-7
DATA_SOURCE 0 vsi $0
FUZZY_MAX 1 user_pri 7
HARD_MAX 1 user_pri 7
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cdev_info->adev->dev.mutex
HALF_LOCKED2 &adapter->vport_ctrl_lock
HALF_LOCKED2 &pf->adev_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex

drivers/infiniband/hw/irdma/verbs.c irdma_create_qp() -> (struct irdma_sc_dev)->ws_add()

Type Parameter Key Value
PARAM_VALUE 0 vsi 4096-ptr_max
PARAM_VALUE 1 user_pri 0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/irdma/verbs.c irdma_modify_qp_roce() -> (struct irdma_sc_dev)->ws_add()

Type Parameter Key Value
DATA_SOURCE 1 user_pri r irdma_roce_get_vlan_prio
RX_PATH
TASK_NOT_RUNNING