Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c c4iw_ep_disconnect() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
BUF_SIZE 0 rdev 1600
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ep->com.mutex
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c c4iw_l2t_send() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ep->com.mutex

drivers/infiniband/hw/cxgb4/cm.c c4iw_ofld_send() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
BUF_SIZE 0 rdev (-1),1600
BUF_SIZE 0 rdev (-1),1600
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rdev->stats.pbl.max 1-u64max[c][u]
HALF_LOCKED2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh

drivers/infiniband/hw/cxgb4/cm.c c4iw_wait_for_reply() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
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 c4iw_wait_for_reply() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
BUF_SIZE 0 rdev (-1),1600
BUF_SIZE 0 rdev (-1),1600
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qhp->mutex

drivers/infiniband/hw/cxgb4/cq.c c4iw_wait_for_reply() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/cxgb4/mem.c c4iw_wait_for_reply() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/cxgb4/mem.c write_tpt_entry() -> c4iw_fatal_error()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING