Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_main.c rocker_dma_rx_ring_skb_alloc() -> rocker_dma_rx_ring_skb_map()

Type Parameter Key Value
PARAM_VALUE 0 rocker_port 4096-ptr_max
PARAM_VALUE 0 rocker_port->dev 4096-ptr_max
PARAM_VALUE 0 rocker_port->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 rocker_port->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 rocker_port->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 rocker_port->rocker->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rocker_port->rocker->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 desc_info 4096-ptr_max
PARAM_VALUE 1 desc_info->desc 4096-ptr_max
PARAM_VALUE 1 desc_info->desc->cookie 0
PARAM_VALUE 1 desc_info->tlv_size 0
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 3 buf_len 0-u32max
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
DATA_SOURCE 0 rocker_port $0
DATA_SOURCE 1 desc_info $1
DATA_SOURCE 2 skb r netdev_alloc_skb_ip_align
DATA_SOURCE 3 buf_len r rocker_port_rx_buf_len
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rocker_port->rx_ring.size
NO_OVERFLOW_SIMPLE 0 rocker_port->tx_ring.size