Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c abort_arp_failure() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 bh

drivers/infiniband/hw/cxgb4/cm.c abort_rpl() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 8
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c act_open_req_arp_failure() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 bh

drivers/infiniband/hw/cxgb4/cm.c c4iw_accept_cr() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 6
PARAM_VALUE 1 new 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &sport->mutex
HALF_LOCKED2 &srv->paths_mutex
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c close_con_rpl() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 9
PARAM_VALUE 1 new 10
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c close_con_rpl() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 10
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c pass_accept_rpl_arp_failure() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 bh

drivers/infiniband/hw/cxgb4/cm.c peer_abort() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 7,9-10
PARAM_VALUE 1 new 8
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_abort() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 0-7,9-10,12-u32max
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 3
PARAM_VALUE 1 new 9
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 4
PARAM_VALUE 1 new 9
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 5
PARAM_VALUE 1 new 9
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 6
PARAM_VALUE 1 new 9
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 7
PARAM_VALUE 1 new 9
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 9
PARAM_VALUE 1 new 10
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c peer_close() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 10
PARAM_VALUE 1 new 11
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c process_mpa_reply() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 4
PARAM_VALUE 1 new 7
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c process_mpa_request() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 3
PARAM_VALUE 1 new 5
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c send_mpa_reply() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->state 5
PARAM_VALUE 1 new 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &sport->mutex
HALF_LOCKED2 &srv->paths_mutex
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c send_mpa_req() -> __state_set()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 1 new 4
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

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

Type Parameter Key Value
PARAM_VALUE 1 new 1-2,11
CAPPED_DATA 0 &epc->mutex 1
DATA_SOURCE 0 epc $0
DATA_SOURCE 1 new $1
HARD_MAX 1 new 11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &epc->mutex
TYPE_LOCK (struct c4iw_ep_common)->mutex