Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/e100.c e100_rx_clean() -> e100_rx_indicate()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->netdev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 nic->netdev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 nic->netdev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 nic->rx_to_clean->skb 1-u64max
PARAM_VALUE 1 rx 4096-ptr_max
PARAM_VALUE 1 rx->skb 1-u64max
PARAM_VALUE 2 work_done 6988877499441487872
DATA_SOURCE 0 nic $0
DATA_SOURCE 2 work_done $1
DATA_SOURCE 3 work_to_do $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 rx->skb->data->actual_size 0-u16max[u]
USER_DATA 1 rx->skb->data->link 0-4294967295[u]
USER_DATA 1 rx->skb->data->rbd 0-4294967295[u]
USER_DATA 1 rx->skb->data->size 0-u16max[u]
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read