Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/e100.c e100_netpoll() -> e100_tx_clean()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->pdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ni->dev_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netpoll_info)->dev_lock

drivers/net/ethernet/intel/e100.c e100_poll() -> e100_tx_clean()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->netdev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 nic->netdev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 nic->netdev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 nic->netdev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 nic->netdev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 nic->netdev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 nic->netdev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 nic->netdev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 nic->netdev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
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->prev 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_use 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_use->prev 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_use->prev->prev 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_use->prev->skb->data->link 0-4294967295
PARAM_VALUE 0 nic->rx_to_use->skb 1-u64max
PARAM_VALUE 0 *nic->netdev->name 0-255
PARAM_VALUE 0 *nic->rx_to_clean->skb->cb 0-255
PARAM_VALUE 0 *nic->rx_to_use->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read