Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_act_establish() -> cxgbi_sock_established()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->advmss 128-u16max
PARAM_VALUE 0 csk->atid 0-16383
PARAM_VALUE 0 csk->cdev 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->retry_timer.function 0
PARAM_VALUE 0 csk->tid 0-16777215
PARAM_VALUE 2 opt 0-u16max
BUF_SIZE 0 csk 248,568,1080
BUF_SIZE 0 csk 248,568,1080
CAPPED_DATA 0 csk->atid 1
DATA_SOURCE 0 csk r lookup_atid
FUZZY_MAX 0 csk->advmss 128
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 csk->rcv_nxt 0-u32max[u]
USER_DATA 0 csk->tid 1-16777215[c]
USER_DATA 1 snd_isn 0-u32max[u]
USER_DATA 2 opt 0-u16max[u]
LOCK2 bh
LOCK2 0 &csk->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct cxgbi_sock)->lock

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_act_establish() -> cxgbi_sock_established()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->cdev 4096-ptr_max
PARAM_VALUE 0 csk->cdev->lldev 4096-ptr_max
PARAM_VALUE 0 csk->cdev->lldev->l4opt 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->retry_timer.function 0
PARAM_VALUE 0 csk->tid 0-16777215
PARAM_VALUE 2 opt 0-u16max
DATA_SOURCE 0 csk $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 csk->rcv_nxt 0-u32max
USER_DATA 1 snd_isn 0-u32max
USER_DATA 2 opt 0-u16max
LOCK2 bh
LOCK2 0 &csk->lock
TYPE_LOCK (struct cxgbi_sock)->lock