Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c abort_arp_failure() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data->cmd 1
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
BUF_SIZE 0 rdev 1600
DATA_SOURCE 1 skb $1
LOCK2 bh

drivers/infiniband/hw/cxgb4/cm.c peer_abort() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 1 skb r skb_dequeue
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c read_tcb() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb r get_skb
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ep->com.mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c release_tid() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 skb r get_skb
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cm.c send_flowc() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.mtus 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->queue_mapping 0,2-u16max
DATA_SOURCE 1 skb r skb_dequeue
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/cm.c update_rx_credits() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb r get_skb
RX_PATH
NOCHECK_CALL
LOCK2 &ep->com.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_ep_common)->mutex

drivers/infiniband/hw/cxgb4/qp.c c4iw_ref_send_wait() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 0 rdev (-1),1600
BUF_SIZE 0 rdev (-1),1600
BUF_SIZE 1 skb (-1),64,112,128,160
BUF_SIZE 1 skb (-1),64,112,128,160
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qhp->mutex

drivers/infiniband/hw/cxgb4/qp.c post_terminate() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->queue_mapping 0,2-u16max
DATA_SOURCE 1 skb r skb_dequeue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ep->com.mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/cq.c c4iw_ref_send_wait() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->queue_mapping 1
BUF_SIZE 1 skb (-1),64
BUF_SIZE 1 skb (-1),64
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/cxgb4/mem.c _c4iw_write_mem_dma_aligned() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->lldi.pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 rdev->lldi.pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rdev->lldi.rxq_ids 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.ulptx_memwrite_dsgl 1
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->queue_mapping 1
BUF_SIZE 1 skb (-1),48,512
BUF_SIZE 1 skb (-1),48,512
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 skb $4 [m]
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rdev->stats.pbl.max 1-u64max[c][u]

drivers/infiniband/hw/cxgb4/mem.c _c4iw_write_mem_inline() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->queue_mapping 1
BUF_SIZE 1 skb (-1),48-144,512
BUF_SIZE 1 skb (-1),48-144,512
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 skb $4 [m]
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rdev->stats.pbl.max 1-u64max[c][u]

drivers/infiniband/hw/cxgb4/mem.c c4iw_ref_send_wait() -> c4iw_ofld_send()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->queue_mapping 1
BUF_SIZE 1 skb (-1),48-144,512
BUF_SIZE 1 skb (-1),48-144,512
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rdev->stats.pbl.max 1-u64max[c][u]