Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_cm.c erdma_accept() -> erdma_cep_set_inuse()

Type Parameter Key Value
BUF_SIZE 0 cep 16,32,120,568,1080
BUF_SIZE 0 cep 16,32,120,568,1080
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &sport->mutex
HALF_LOCKED2 &srv->paths_mutex

drivers/infiniband/hw/erdma/erdma_cm.c erdma_accept_newconn() -> erdma_cep_set_inuse()

Type Parameter Key Value
PARAM_VALUE 0 cep 4096-ptr_max
PARAM_VALUE 0 cep->dev 4096-ptr_max
PARAM_VALUE 0 cep->devq.next 4096-ptr_max
PARAM_VALUE 0 cep->devq.next->next 4096-ptr_max
PARAM_VALUE 0 cep->devq.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->devq.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->listen_cep 4096-ptr_max
PARAM_VALUE 0 cep->listen_cep->in_use 1
PARAM_VALUE 0 cep->listen_cep->sock 4096-ptr_max
PARAM_VALUE 0 cep->listen_cep->state 2
PARAM_VALUE 0 cep->listenq.next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.next->next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cep->mpa_timer 4096-ptr_max
PARAM_VALUE 0 cep->mpa_timer->cep 4096-ptr_max
PARAM_VALUE 0 cep->mpa_timer->list.next 4096-ptr_max
PARAM_VALUE 0 cep->mpa_timer->list.prev 4096-ptr_max
PARAM_VALUE 0 cep->mpa_timer->type 5,7
PARAM_VALUE 0 cep->sock 4096-ptr_max
PARAM_VALUE 0 cep->state 4
PARAM_VALUE 0 cep->waitq.head.next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next->next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next->prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev->prev 4096-ptr_max
BUF_SIZE 0 cep 368
DATA_SOURCE 0 cep r erdma_cep_alloc
PARAM_COMPARE 0 &cep->work_freelist != $0->work_freelist.next
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 cep 4096-ptr_max
PARAM_VALUE 0 cep->in_use 0
PARAM_VALUE 0 cep->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cep->mpa_timer 0
PARAM_VALUE 0 cep->qp 4096-ptr_max
PARAM_VALUE 0 cep->qp->attrs.iwarp.state 0-5
PARAM_VALUE 0 cep->qp->cep 0
PARAM_VALUE 0 cep->qp->cep->state 8
PARAM_VALUE 0 cep->qp->dev->cmdq->sq.dbrec 0-u16max
PARAM_VALUE 0 cep->qp->dev->cmdq.credits.first_waiter->up 0-1
PARAM_VALUE 0 cep->qp->dev->cmdq.credits.lock.dep_map->name 0-255
PARAM_VALUE 0 cep->qp->dev->cmdq.credits.lock.owner (-1)
PARAM_VALUE 0 cep->qp->dev->cmdq.credits.lock.owner_cpu u32max
PARAM_VALUE 0 cep->qp->dev->cmdq.credits.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 cep->qp->reflush_dwork.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 cep->qp->safe_free.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 cep->qp->state_lock.dep_map->name 0-255
PARAM_VALUE 0 cep->qp->state_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 cep->qp->state_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 cep->qp->state_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 cep->qp->state_lock.first_waiter->type 0-1
PARAM_VALUE 0 cep->qp->state_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 cep->state 8
PARAM_VALUE 0 *cep->mpa.hdr.key 0-255
PARAM_VALUE 0 *cep->sock->sk->sk_backlog.head->dev->name 0-255
CAPPED_DATA 0 cep 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_connect() -> erdma_cep_set_inuse()

Type Parameter Key Value
PARAM_VALUE 0 cep 4096-ptr_max
PARAM_VALUE 0 cep->dev 4096-ptr_max
PARAM_VALUE 0 cep->devq.next 4096-ptr_max
PARAM_VALUE 0 cep->devq.next->next 4096-ptr_max
PARAM_VALUE 0 cep->devq.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->devq.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->listenq.next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.next->next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->ref.refcount.refs.counter 1
PARAM_VALUE 0 cep->state 1
PARAM_VALUE 0 cep->waitq.head.next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next->next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev->prev 4096-ptr_max
BUF_SIZE 0 cep 368
DATA_SOURCE 0 cep r erdma_cep_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/hw/erdma/erdma_cm.c erdma_create_listen() -> erdma_cep_set_inuse()

Type Parameter Key Value
PARAM_VALUE 0 cep 4096-ptr_max
PARAM_VALUE 0 cep->dev 4096-ptr_max
PARAM_VALUE 0 cep->devq.next 4096-ptr_max
PARAM_VALUE 0 cep->devq.next->next 4096-ptr_max
PARAM_VALUE 0 cep->devq.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->devq.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->listenq.next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.next->next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->listenq.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->sock 4096-ptr_max
PARAM_VALUE 0 cep->sock->ops 4096-ptr_max
PARAM_VALUE 0 cep->sock->sk 4096-ptr_max
PARAM_VALUE 0 cep->sock->type 1
PARAM_VALUE 0 cep->state 1
PARAM_VALUE 0 cep->waitq.head.next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.next->next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev->next 4096-ptr_max
PARAM_VALUE 0 cep->work_freelist.prev->prev 4096-ptr_max
BUF_SIZE 0 cep 368
BUF_SIZE 0 cep->cm_id (-1),576
DATA_SOURCE 0 cep r erdma_cep_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &ctrl_lock
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &ib_ctx.ib_dev_mutex
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_drop_listeners() -> erdma_cep_set_inuse()

Type Parameter Key Value
PARAM_VALUE 0 cep 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_qp_cm_drop() -> erdma_cep_set_inuse()

Type Parameter Key Value
PARAM_VALUE 0 cep 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &qp->state_lock
TYPE_LOCK (struct erdma_qp)->state_lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_reject() -> erdma_cep_set_inuse()

Type Parameter Key Value
BUF_SIZE 0 cep (-1),40
BUF_SIZE 0 cep (-1),40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock