Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bareudp.c bareudp_dellink() -> __bareudp_dellink()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->priv->net 4096-ptr_max
PARAM_VALUE 1 dev->priv->net->gen 4096-ptr_max
PARAM_VALUE 1 dev->rtnl_link_ops 4096-ptr_max
PARAM_VALUE 1 dev->rtnl_link_ops->alloc 0,1182153660833808384,3130032447137456128
PARAM_VALUE 1 dev->rtnl_link_ops->dellink 0,4096-ptr_max
PARAM_VALUE 1 dev->rtnl_link_ops->get_num_rx_queues 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912
PARAM_VALUE 1 dev->rtnl_link_ops->get_num_tx_queues 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912
PARAM_VALUE 1 dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 dev->rtnl_link_ops->peer_type 0-1
PARAM_VALUE 1 dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3552,3720,9688-u64max
PARAM_VALUE 1 dev->rtnl_link_ops->setup 0,4096-ptr_max
PARAM_VALUE 1 dev->rtnl_link_ops->validate 0,4096-ptr_max
PARAM_VALUE 1 *dev->name 0-255
PARAM_VALUE 2 head 0,4096-ptr_max
PARAM_VALUE 2 head->next 741483140073119744,1763200777066049536,1788172868072648704,4837116953216237568,5813466061026230272,6152643331583557632,8353322745346695168,8679467439162429440
PARAM_VALUE 2 head->prev 741483140073119744,1763200777066049536,1788172868072648704,4837116953216237568,5813466061026230272,6152643331583557632,8353322745346695168,8679467439162429440
BUF_SIZE 0 net (-1),10304,10432
BUF_SIZE 1 dev->nd_net.net (-1),10304,10432
CAPPED_DATA 1 dev->nd_net.net 1
CAPPED_DATA 1 dev->rtnl_link_ops 1
DATA_SOURCE 1 dev $0
DATA_SOURCE 2 head $1
NOSPEC 1 dev->ifindex
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 dev->ifindex 0-s32max[c]
USER_DATA 1 dev->mtu 0-s32max[c]
NO_OVERFLOW_SIMPLE 1 dev->group
NO_OVERFLOW_SIMPLE 1 dev->num_napi_configs
NO_OVERFLOW_SIMPLE 1 dev->num_rx_queues
NO_OVERFLOW_SIMPLE 1 dev->num_tx_queues
NO_OVERFLOW_SIMPLE 1 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 dev->real_num_tx_queues
LOCK2 &bn->lock
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 &tgt_net->rtnl_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct bareudp_net)->lock

drivers/net/bareudp.c bareudp_exit_rtnl_net() -> __bareudp_dellink()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 2 head 7014720143616368640
CAPPED_DATA 0 net 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 head $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bn->lock
LOCK2 global &pernet_ops_rwsem
LOCK2 global &rtnl_mutex
LOCK2 0 &net->rtnl_mutex
TYPE_LOCK (struct bareudp_net)->lock
TYPE_LOCK (struct net)->rtnl_mutex