Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_cm.c erdma_cm_work_handler() -> erdma_qp_llp_close()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attrs.iwarp.state 0,2-5
NOCHECK_CALL
HALF_LOCKED2 &pool->lock