Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/cxgbi/libcxgbi.c cxgbi_conn_pdu_ready() -> skb_read_pdu_bhs()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->state 0-4
PARAM_VALUE 0 csk->user_data 4096-ptr_max
PARAM_VALUE 1 conn 4096-ptr_max
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->cb 4096-ptr_max
PARAM_VALUE 2 skb->next 0
PARAM_VALUE 2 skb->prev 0
BUF_SIZE 0 csk (-1),248,568,1080,1216
BUF_SIZE 0 csk (-1),248,568,1080,1216
CAPPED_DATA 0 &csk->receive_queue 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 2 skb r skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 0 &csk->lock
TYPE_LOCK (struct cxgbi_sock)->lock

drivers/scsi/cxgbi/libcxgbi.c cxgbi_conn_pdu_ready() -> skb_read_pdu_bhs()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->state 0-4
PARAM_VALUE 0 csk->user_data 4096-ptr_max
PARAM_VALUE 1 conn 4096-ptr_max
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->cb 4096-ptr_max
PARAM_VALUE 2 skb->next 0
PARAM_VALUE 2 skb->prev 0
BUF_SIZE 0 csk (-1),248,568,1080,1216
BUF_SIZE 0 csk (-1),248,568,1080,1216
CAPPED_DATA 0 &csk->receive_queue 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 2 skb r skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 0 &csk->lock
TYPE_LOCK (struct cxgbi_sock)->lock