Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/dev.c netif_change_proto_down() -> dev_get_iflink_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->change_proto_down 1
PARAM_VALUE 0 dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 dev->netdev_ops->ndo_change_carrier 0,885170895855865856,1782477489044140032,2219068876340936704,3313908872681771008,6182840514861293568,6498501278544633856
PARAM_VALUE 0 dev->netdev_ops->ndo_set_config 0,1586268954384080896,2133952100825280512,4430316855586635776
PARAM_VALUE 0 dev->netdev_ops->ndo_set_vf_guid 0,1993202516722049024
PARAM_VALUE 0 dev->netdev_ops->ndo_set_vf_port 0,6678536409099956224
PARAM_VALUE 0 dev->netdev_ops->ndo_set_vf_vlan 0,4096-ptr_max
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->flags 0-525313[c]
NO_OVERFLOW_SIMPLE 0 dev->proto_down
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &of->mutex