Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_service_task() -> fbnic_napi_depletion_check()

Type Parameter Key Value
PARAM_VALUE 0 netdev 4096-ptr_max
PARAM_VALUE 0 netdev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 netdev->lock.dep_map->name 0-255
PARAM_VALUE 0 netdev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 netdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 netdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 netdev->mc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744
PARAM_VALUE 0 netdev->uc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 *netdev->name 0
NOCHECK_CALL
LOCK2 global &rtnl_mutex
LOCK2 0 &netdev->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net_device)->lock