Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->conn 4096-ptr_max
PARAM_VALUE 0 csk->conn->conn_login->login_failed 0-1
PARAM_VALUE 0 csk->conn->conn_state 0-5,7-255
PARAM_VALUE 0 csk->conn->login->current_stage 0-3
PARAM_VALUE 0 csk->conn->login->first_request 0-1
PARAM_VALUE 0 csk->conn->login->leading_connection 0-1
PARAM_VALUE 0 csk->conn->sess 4096-ptr_max
PARAM_VALUE 0 csk->conn->sess->sess_ops 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