Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/netdev_work.c netdev_work_run() -> (struct net_device_ops)->ndo_work()

Type Parameter Key Value
PARAM_VALUE 0 vlandev 4096-ptr_max
PARAM_VALUE 0 vlandev->lock.dep_map->name 0-255
PARAM_VALUE 0 vlandev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vlandev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vlandev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vlandev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vlandev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 vlandev->netdev_ops->ndo_work 4222982197278961664
PARAM_VALUE 0 vlandev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 vlandev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 vlandev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 vlandev->work_node.next 4096-ptr_max
PARAM_VALUE 1 events 1-u64max
DATA_SOURCE 0 vlandev $0
DATA_SOURCE 1 events $1
CONTAINER 0 -80-8+0 $(-1)
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock