Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c alloc_ep() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp r c4iw_alloc_wr_wait
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/cm.c c4iw_destroy_listen() -> c4iw_init_wr_wait()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c c4iw_reconnect() -> c4iw_init_wr_wait()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c create_server4() -> c4iw_init_wr_wait()

Type Parameter Key Value
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/cxgb4/cm.c create_server6() -> c4iw_init_wr_wait()

Type Parameter Key Value
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/cxgb4/qp.c alloc_srq_queue() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/cxgb4/qp.c create_qp() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/qp.c free_srq_queue() -> c4iw_init_wr_wait()

Type Parameter Key Value
BUF_SIZE 0 wr_waitp (-1),104
BUF_SIZE 0 wr_waitp (-1),104
DATA_SOURCE 0 wr_waitp $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/cq.c c4iw_create_cq() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp r c4iw_alloc_wr_wait
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/cq.c create_cq() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->completion.done 0
PARAM_VALUE 0 wr_waitp->completion.wait.lock.magic 3735899821
PARAM_VALUE 0 wr_waitp->completion.wait.lock.owner (-1)
PARAM_VALUE 0 wr_waitp->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 wr_waitp->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 wr_waitp->completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 wr_waitp->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 wr_waitp->completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 wr_waitp->completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
PARAM_VALUE 0 wr_waitp->ret 0
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/cq.c destroy_cq() -> c4iw_init_wr_wait()

Type Parameter Key Value
BUF_SIZE 0 wr_waitp (-1),104
BUF_SIZE 0 wr_waitp (-1),104
DATA_SOURCE 0 wr_waitp $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/mem.c _c4iw_write_mem_dma_aligned() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 1-u64max
DATA_SOURCE 0 wr_waitp $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/mem.c _c4iw_write_mem_inline() -> c4iw_init_wr_wait()

Type Parameter Key Value
DATA_SOURCE 0 wr_waitp $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/mem.c c4iw_alloc_mr() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp r c4iw_alloc_wr_wait
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &srv->paths_mutex
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/hw/cxgb4/mem.c c4iw_get_dma_mr() -> c4iw_init_wr_wait()

Type Parameter Key Value
PARAM_VALUE 0 wr_waitp 4096-ptr_max
PARAM_VALUE 0 wr_waitp->kref.refcount.refs.counter 1
BUF_SIZE 0 wr_waitp 104
DATA_SOURCE 0 wr_waitp r c4iw_alloc_wr_wait
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &devr->cq_lock
HALF_LOCKED2 &ibudev->xrcd_tree_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &device_list_mutex
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &ig.device_list_mutex