Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/puda.c irdma_puda_free_qp() -> (struct irdma_sc_dev)->ws_remove()

Type Parameter Key Value
CONTAINER 0 *(-13168-728+248+136) $(-1)
CONTAINER 1 *(-13168-728+549+136) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/puda.c irdma_puda_free_qp() -> (struct irdma_sc_dev)->ws_remove()

Type Parameter Key Value
CONTAINER 0 *(-13168-728+248+136) $(-1)
CONTAINER 1 *(-13168-728+549+136) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

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 *(-13168-728+736) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/utils.c irdma_free_qp_rsrc() -> (struct irdma_sc_dev)->ws_remove()

Type Parameter Key Value
PARAM_VALUE 0 vsi 1-u64max
CONTAINER 0 *(-13168-240+248) $(-1)
CONTAINER 1 *(-13168-240+549) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL