Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_rx_data_ack() -> cxgbit_send_rx_credits()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->conn->check_immediate_queue.counter 1
PARAM_VALUE 0 csk->conn->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->conn->conn_cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->conn_cmd_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->conn_login->login_failed 0-1
PARAM_VALUE 0 csk->conn->immed_queue_list.prev 4096-ptr_max
PARAM_VALUE 0 csk->conn->immed_queue_list.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->immed_queue_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->immed_queue_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 csk->conn->login->current_stage 0-3
PARAM_VALUE 0 csk->conn->login->leading_connection 0-1
PARAM_VALUE 0 csk->conn->response_queue_list.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->response_queue_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->response_queue_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 csk->conn->sess->cmdsn_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 csk->conn->sess->cmdsn_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 csk->conn->sess->cmdsn_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 csk->conn->sess->cmdsn_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 csk->conn->sess->cmdsn_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 csk->conn->sess->sess_ooo_cmdsn_list.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->conn->sess->sess_ooo_cmdsn_list.prev->next->next 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->conn->sock->sk->sk_memcg->id.id 0-s32max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->lock_owner 0
PARAM_VALUE 0 csk->rx_credits 0
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
PARAM_VALUE 0 csk->skb->data 4096-ptr_max
PARAM_VALUE 0 csk->skb->next 0
PARAM_VALUE 0 csk->skb->prev 0
PARAM_VALUE 0 *csk->conn->login->isid 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 32
BUF_SIZE 1 skb 32
DATA_SOURCE 0 csk $0
DATA_SOURCE 1 skb r alloc_skb
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *csk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 csk->backlogq.prev->len
NO_OVERFLOW_SIMPLE 0 csk->backlogq.prev->next->len
NO_OVERFLOW_SIMPLE 0 csk->backlogq.prev->next->tail
NO_OVERFLOW_SIMPLE 0 csk->backlogq.prev->tail
USER_PTR 0 csk->skb->data
LOCK2 bh
LOCK2 0 &csk->lock
TYPE_LOCK (struct cxgbit_sock)->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c __cxgbit_process_rx_cpl() -> (struct cxgbit_skb_rx_cb)->backlog_fn()

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->lock_owner 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->len 40,257-u32max
BUF_SIZE 0 csk 4,24,64,168-s32max
BUF_SIZE 0 csk 4,24,64,168-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &csk->lock
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct cxgbit_sock)->lock

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_unlock_sock() -> cxgbit_unlock_sock ptr fn()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->backlogq.next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->arpq.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->arp_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->ieee802154_ptr->dsn.counter s32min-s32max
PARAM_VALUE 0 csk->l2t->neigh->dev->ip_ptr 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->is_hard 0-1
PARAM_VALUE 0 csk->l2t->neigh->is_lazy 0-1
PARAM_VALUE 0 csk->l2t->neigh->is_queued 0-1
PARAM_VALUE 0 csk->l2t->neigh->is_soft 0-1
PARAM_VALUE 0 csk->l2t->neigh->lock.dep_map->name 0-255
PARAM_VALUE 0 csk->l2t->neigh->node.node.next 0
PARAM_VALUE 0 csk->l2t->neigh->node.node.prev 0
PARAM_VALUE 0 csk->l2t->neigh->nud_state 1-255
PARAM_VALUE 0 csk->l2t->neigh->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->lock_owner 1
PARAM_VALUE 0 csk->ppodq.next 4096-ptr_max
PARAM_VALUE 0 csk->ppodq.prev 4096-ptr_max
PARAM_VALUE 0 csk->ppodq.qlen 0
PARAM_VALUE 0 csk->txq.next 4096-ptr_max
PARAM_VALUE 0 csk->txq.prev 4096-ptr_max
PARAM_VALUE 0 csk->txq.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->wr_pending_head->next 0
PARAM_VALUE 0 csk->wr_pending_head->prev 0
PARAM_VALUE 0 csk->wr_pending_head->queue_mapping 0,2-u16max
PARAM_VALUE 0 csk->wr_pending_tail->next 0
PARAM_VALUE 0 csk->wr_pending_tail->prev 0
PARAM_VALUE 0 csk->wr_pending_tail->queue_mapping 0,2-u16max
PARAM_VALUE 0 *csk->l2t->dmac 0-255
PARAM_VALUE 1 skb 4096-6684950210016067584
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &csk->backlogq 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 1 skb r __skb_dequeue
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue.prev->next->data_len