Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_process_iscsi_pdu() -> cxgbit_rx_opcode()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->conn->sock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 csk->conn->sock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 csk->conn->sock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 csk->rxq.next 4096-ptr_max
PARAM_VALUE 0 csk->rxq.next->prev 205142483334131712,6684950210016067584
PARAM_VALUE 0 csk->rxq.prev 4096-ptr_max
PARAM_VALUE 0 csk->rxq.qlen 0-s32max
PARAM_VALUE 0 csk->skb 4096-ptr_max
DATA_SOURCE 0 csk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *csk->skb->data 0-255
USER_PTR 0 csk->skb->data