Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/jme.c jme_alloc_and_feed_skb() -> jme_rxsum_ok()

Type Parameter Key Value
PARAM_VALUE 0 jme 4096-ptr_max
PARAM_VALUE 0 jme->dev 4096-ptr_max
PARAM_VALUE 0 jme->dev->dev_addr 4096-ptr_max
PARAM_VALUE 0 jme->dev->dsa_ptr 0,4096-ptr_max
PARAM_VALUE 0 jme->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 jme->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 jme->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 jme->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 0 jme->dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 0 jme->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 jme->link_changing.counter 1
PARAM_VALUE 0 jme->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 jme->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 jme->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 jme->rxring 4096-ptr_max
PARAM_VALUE 0 *jme->dev->name 0-255
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->data 4096-ptr_max
PARAM_VALUE 2 skb->data_len 0
PARAM_VALUE 2 skb->dev 4096-ptr_max
PARAM_VALUE 2 skb->len 0-4294967281
PARAM_VALUE 2 skb->pkt_type 1-3
DATA_SOURCE 0 jme $0
RX_PATH
TASK_NOT_RUNNING