Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/hw/bnxt_re/ib_verbs.c bnxt_re_destroy_qp() -> bnxt_re_unlock_cqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->dbr_obj | 0,4096-ptr_max |
| PARAM_VALUE | 0 | qp->dentry | 0,4096-u64max |
| PARAM_VALUE | 0 | qp->dentry->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->dentry->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->dentry->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | qp->ib_qp.res.user | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp->rcq->nq->cqn_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp->scq->nq->cqn_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->hwq.max_elements | 0-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->nq->cqn_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.rq.flushed | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.rq.hwq.cons | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.rq.hwq.prod | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->hwq.max_elements | 0-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->nq->cqn_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.flushed | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.hwq.cons | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.hwq.prod | 0 |
| PARAM_VALUE | 0 | qp->rcq->cq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->cmdq.waitq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->cmdq.waitq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->qp_tbl | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->rcfw_inflight.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->rcfw_inflight.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->rcfw_inflight.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->rcfw_inflight.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->rcfw_inflight.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->rdev->qplib_res.rcfw->tbl_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *qp->dentry->d_inode->i_hash.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | *qp->dentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *qp->dentry->d_inode->i_sb->s_fs_info->wbuf_verify | 0-255 |
| CAPPED_DATA | 0 | qp->dentry | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.rcq | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.rcq->hwq.max_elements | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.scq | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.scq->hwq.max_elements | 1 |
| CAPPED_DATA | 0 | qp->rcq | 1 |
| CAPPED_DATA | 0 | &qp->qplib_qp | 1 |
| CAPPED_DATA | 1 | flags | 1 |
| DATA_SOURCE | 1 | flags | r bnxt_re_lock_cqs |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &qp->scq->cq_lock | |
| TYPE_LOCK | (struct bnxt_re_cq)->cq_lock |
drivers/infiniband/hw/bnxt_re/ib_verbs.c bnxt_re_modify_qp() -> bnxt_re_unlock_cqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.cur_qp_state | 0-6 |
| PARAM_VALUE | 0 | qp->qplib_qp.ext_modify_flags | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.modify_flags | 1 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->rqf_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->rqf_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->rqf_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rq_flush.next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->sqf_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->sqf_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->sqf_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.condition | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.flushed | 1 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.send_phantom | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.single | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq_flush.next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.state | 6 |
| PARAM_VALUE | 0 | qp->rcq->cq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->sumem | 0 |
| CAPPED_DATA | 0 | qp->qplib_qp.rcq | 1 |
| CAPPED_DATA | 0 | qp->rcq | 1 |
| CAPPED_DATA | 1 | flags | 1 |
| DATA_SOURCE | 1 | flags | r bnxt_re_lock_cqs |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &qp->scq->cq_lock | |
| HALF_LOCKED2 | &ib_qp->qp_sec->mutex | ||
| TYPE_LOCK | (struct bnxt_re_cq)->cq_lock |
drivers/infiniband/hw/bnxt_re/ib_verbs.c bnxt_re_modify_qp() -> bnxt_re_unlock_cqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.cur_qp_state | 0-6 |
| PARAM_VALUE | 0 | qp->qplib_qp.ext_modify_flags | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.modify_flags | 1 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->hwq.max_elements | 0-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.rq.flushed | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.rq.hwq.cons | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.rq.hwq.prod | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->hwq.max_elements | 0-s32max |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.flushed | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.hwq.cons | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.hwq.prod | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.state | 0 |
| PARAM_VALUE | 0 | qp->rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->sumem | 0 |
| CAPPED_DATA | 0 | qp->qplib_qp.rcq | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.rcq->hwq.max_elements | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.scq | 1 |
| CAPPED_DATA | 0 | qp->qplib_qp.scq->hwq.max_elements | 1 |
| CAPPED_DATA | 0 | qp->rcq | 1 |
| CAPPED_DATA | 0 | &qp->qplib_qp | 1 |
| CAPPED_DATA | 1 | flags | 1 |
| DATA_SOURCE | 1 | flags | r bnxt_re_lock_cqs |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &qp->scq->cq_lock | |
| HALF_LOCKED2 | &ib_qp->qp_sec->mutex | ||
| TYPE_LOCK | (struct bnxt_re_cq)->cq_lock |
drivers/infiniband/hw/bnxt_re/main.c bnxt_re_handle_qp_async_event() -> bnxt_re_unlock_cqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->ib_qp.res.user | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->rqf_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->rqf_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rcq->rqf_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.rq_flush.next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->sqf_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->sqf_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.scq->sqf_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.condition | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.flushed | 1 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.send_phantom | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq.single | 0 |
| PARAM_VALUE | 0 | qp->qplib_qp.sq_flush.next | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qplib_qp.state | 6 |
| PARAM_VALUE | 0 | qp->rcq->cq_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | qp->qplib_qp.rcq | 1 |
| CAPPED_DATA | 0 | qp->rcq | 1 |
| CAPPED_DATA | 1 | flags | 1 |
| DATA_SOURCE | 0 | qp | $1 |
| DATA_SOURCE | 1 | flags | r bnxt_re_lock_cqs |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &hwq->lock | ||
| LOCK2 | bh | ||
| LOCK2 | 0 | &qp->scq->cq_lock | |
| HALF_LOCKED2 | &rcfw->rcfw_inflight | ||
| HALF_LOCKED2 | &rcfw->tbl_lock | ||
| TYPE_LOCK | (struct bnxt_qplib_hwq)->lock | ||
| TYPE_LOCK | (struct bnxt_re_cq)->cq_lock |