Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rdev.lldi.tids 4096-ptr_max
PARAM_VALUE 0 dev->rdev.lldi.tids->stid_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->stids.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ep 4096-ptr_max
PARAM_VALUE 1 ep->backlog s32min-(-1),1-s32max
PARAM_VALUE 1 ep->com.cm_id 4096-ptr_max
PARAM_VALUE 1 ep->com.cm_id->add_ref 3740513021719736320
PARAM_VALUE 1 ep->com.cm_id->device 4096-ptr_max
PARAM_VALUE 1 ep->com.cm_id->event_handler 1920715298277855232
PARAM_VALUE 1 ep->com.cm_id->rem_ref 1227396316432068608
PARAM_VALUE 1 ep->com.dev 4096-ptr_max
PARAM_VALUE 1 ep->com.ep_skb_list.next 4096-ptr_max
PARAM_VALUE 1 ep->com.ep_skb_list.prev 4096-ptr_max
PARAM_VALUE 1 ep->com.ep_skb_list.qlen 0
PARAM_VALUE 1 ep->com.local_addr.ss_family 0-1,3-u16max
PARAM_VALUE 1 ep->com.state 1
PARAM_VALUE 1 ep->stid 0-4294967294
BUF_SIZE 1 ep 568
BUF_SIZE 1 ep->com.cm_id 576
CAPPED_DATA 0 dev->rdev.lldi.tids->nstids 1
CAPPED_DATA 1 ep 1
DATA_SOURCE 0 dev r to_c4iw_dev
DATA_SOURCE 1 ep r alloc_ep
BIT_INFO 1 ep->stid 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ep->backlog 1-1024
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