Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c act_open_rpl() -> state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->cm_id 0,4096-ptr_max
PARAM_VALUE 1 new 11
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c active_ofld_conn_reply() -> state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->cm_id 0,4096-ptr_max
PARAM_VALUE 1 new 11
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c c4iw_connect() -> state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->cm_id 4096-ptr_max
PARAM_VALUE 0 epc->dev 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.next 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.prev 4096-ptr_max
PARAM_VALUE 0 epc->qp 1-1025,1027-1029,1031-u64max
PARAM_VALUE 1 new 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/hw/cxgb4/cm.c c4iw_create_listen() -> state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->cm_id 4096-ptr_max
PARAM_VALUE 0 epc->dev 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.next 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.prev 4096-ptr_max
PARAM_VALUE 1 new 1
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 c4iw_destroy_listen() -> state_set()

Type Parameter Key Value
PARAM_VALUE 1 new 11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->cm_id 4096-ptr_max
PARAM_VALUE 0 epc->dev 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.next 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.prev 4096-ptr_max
PARAM_VALUE 0 epc->wr_waitp 4096-ptr_max
PARAM_VALUE 1 new 2
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c pass_accept_req() -> state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.next 4096-ptr_max
PARAM_VALUE 0 epc->ep_skb_list.prev 4096-ptr_max
PARAM_VALUE 1 new 2
NOCHECK_CALL
HALF_LOCKED2 &pool->lock