Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/sw/siw/siw_cm.c siw_cm_work_handler() -> siw_send_terminate()

Type Parameter Key Value
PARAM_VALUE 0 qp 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/siw/siw_cm.c siw_proc_mpareply() -> siw_send_terminate()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->term_info.ecode 0-7,9,255
PARAM_VALUE 0 qp->term_info.etype 0-2
PARAM_VALUE 0 qp->term_info.in_tx 0-1
PARAM_VALUE 0 qp->term_info.layer 0-2
PARAM_VALUE 0 qp->tx_ctx.tx_suspend 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/siw/siw_cm.c siw_proc_mpareply() -> siw_send_terminate()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->term_info.ecode 0-7,9,255
PARAM_VALUE 0 qp->term_info.etype 0-2
PARAM_VALUE 0 qp->term_info.in_tx 0-1
PARAM_VALUE 0 qp->term_info.layer 0-2
PARAM_VALUE 0 qp->tx_ctx.gso_seg_limit 0
PARAM_VALUE 0 qp->tx_ctx.tx_suspend 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/siw/siw_cm.c siw_proc_mpareply() -> siw_send_terminate()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->term_info.ecode 0-7,9,255
PARAM_VALUE 0 qp->term_info.etype 0-2
PARAM_VALUE 0 qp->term_info.in_tx 0-1
PARAM_VALUE 0 qp->term_info.layer 0-2
PARAM_VALUE 0 qp->tx_ctx.gso_seg_limit 0
PARAM_VALUE 0 qp->tx_ctx.tx_suspend 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/siw/siw_cm.c siw_qp_cm_drop() -> siw_send_terminate()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attrs.state 2-5
PARAM_VALUE 0 qp->cep 4096-ptr_max
PARAM_VALUE 0 qp->cep->in_use 1
PARAM_VALUE 0 qp->cep->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->cep->state 0-7,9-u32max
PARAM_VALUE 0 qp->rx_fpdu->first_ddp_seg 0-1
PARAM_VALUE 0 qp->rx_fpdu->more_ddp_segs 0-1
PARAM_VALUE 0 qp->rx_stream.mpa_crc_enabled 1
PARAM_VALUE 0 qp->rx_stream.rx_suspend 1
PARAM_VALUE 0 qp->rx_stream.state 0-3
PARAM_VALUE 0 qp->rx_tagged.first_ddp_seg 0-1
PARAM_VALUE 0 qp->rx_tagged.wqe_active.wc_status 1-2,9
PARAM_VALUE 0 qp->rx_tagged.wqe_active.wr_status 0-2
PARAM_VALUE 0 qp->rx_untagged.first_ddp_seg 0-1
PARAM_VALUE 0 qp->rx_untagged.wqe_active.wc_status 1-2,9
PARAM_VALUE 0 qp->state_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 qp->state_lock.first_waiter->type 0-1
PARAM_VALUE 0 qp->tx_ctx.ctrl_len 8,16-59
PARAM_VALUE 0 qp->tx_ctx.mpa_crc_enabled 1
PARAM_VALUE 0 qp->tx_ctx.state 0-3
PARAM_VALUE 0 qp->tx_ctx.tx_suspend 1
PARAM_VALUE 0 qp->tx_ctx.wqe_active.wr_status 0-2
CAPPED_DATA 0 qp 1
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 qp unit_byte
LOCK2 0 &qp->state_lock
TYPE_LOCK (struct siw_qp)->state_lock