Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/addrconf.c addrconf_ifdown() -> ipv6_mc_destroy_dev()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->ac_list 0
PARAM_VALUE 0 idev->ac_list->aca_addr_lst->next->pprev 1-u64max
PARAM_VALUE 0 idev->ac_list->aca_addr_lst.next->pprev 1-u64max
PARAM_VALUE 0 idev->ac_list->aca_rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 0 idev->ac_list->aca_rt->fib6_table->tb6_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->lock.dep_map->name 0-255
PARAM_VALUE 0 idev->lock.owner (-1)
PARAM_VALUE 0 idev->lock.owner_cpu u32max
PARAM_VALUE 0 idev->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 idev->lock.raw_lock.wlocked 0
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->rs_timer.entry.pprev 0
PARAM_VALUE 0 idev->rs_timer.flags 0-4194302
PARAM_VALUE 0 idev->rs_timer.function 0
CAPPED_DATA 0 idev 1
CAPPED_DATA 0 &idev->addr_list 1
CAPPED_DATA 0 &idev->tempaddr_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c ipv6_add_dev() -> ipv6_mc_destroy_dev()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->addr_list.next 4096-ptr_max
PARAM_VALUE 0 idev->addr_list.next->next 4096-ptr_max
PARAM_VALUE 0 idev->addr_list.prev 4096-ptr_max
PARAM_VALUE 0 idev->addr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->addr_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 idev->cnf.mtu6 1280-u32max
PARAM_VALUE 0 idev->desync_factor u32max
PARAM_VALUE 0 idev->dev 4096-ptr_max
PARAM_VALUE 0 idev->dev->mtu 1280-u32max
PARAM_VALUE 0 idev->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 idev->dev->nd_net.net->ipv6.devconf_all 4096-ptr_max
PARAM_VALUE 0 idev->dev->nd_net.net->mib.proc_net_devsnmp6 1-u64max
PARAM_VALUE 0 idev->dev->nd_net.net->mib.proc_net_devsnmp6->nlink 0-4294967295
PARAM_VALUE 0 idev->dev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 idev->dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 idev->lock.magic 3736018669
PARAM_VALUE 0 idev->lock.owner (-1)
PARAM_VALUE 0 idev->lock.owner_cpu u32max
PARAM_VALUE 0 idev->mc_gq_running 0
PARAM_VALUE 0 idev->mc_ifc_count 0
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0
PARAM_VALUE 0 idev->mc_lock.magic 4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0
PARAM_VALUE 0 idev->mc_lock.owner.counter 0
PARAM_VALUE 0 idev->mc_maxdelay 1-s32max
PARAM_VALUE 0 idev->mc_qi 31250
PARAM_VALUE 0 idev->mc_qri 2500
PARAM_VALUE 0 idev->mc_qrv 2
PARAM_VALUE 0 idev->mc_query_queue.next 4096-ptr_max
PARAM_VALUE 0 idev->mc_query_queue.prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_query_queue.qlen 0
PARAM_VALUE 0 idev->mc_report_queue.next 4096-ptr_max
PARAM_VALUE 0 idev->mc_report_queue.prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_report_queue.qlen 0
PARAM_VALUE 0 idev->mc_tomb 0
PARAM_VALUE 0 idev->mc_v1_seen 0
PARAM_VALUE 0 idev->nd_parms 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->dev 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->dev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->list.next 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->list.prev 272374513716818032,4470746977272516720
PARAM_VALUE 0 idev->nd_parms->qlen 0
PARAM_VALUE 0 idev->nd_parms->refcnt.refs.counter 1
PARAM_VALUE 0 idev->nd_parms->sysctl_table 0
PARAM_VALUE 0 idev->nd_parms->tbl 4470746977272516608
PARAM_VALUE 0 idev->ra_mtu 0
PARAM_VALUE 0 idev->refcnt.refs.counter 1
PARAM_VALUE 0 idev->rs_timer.entry.pprev 0
PARAM_VALUE 0 idev->rs_timer.flags 0-4194302
PARAM_VALUE 0 idev->rs_timer.lockdep_map->name 0-255
PARAM_VALUE 0 idev->stats.icmpv6dev 4096-ptr_max
PARAM_VALUE 0 idev->stats.icmpv6msgdev 4096-ptr_max
PARAM_VALUE 0 idev->stats.ipv6 4096-ptr_max
PARAM_VALUE 0 idev->stats.proc_dir_entry 4806605944481423360
PARAM_VALUE 0 idev->tempaddr_list.next 4096-ptr_max
PARAM_VALUE 0 idev->tempaddr_list.next->next 4096-ptr_max
PARAM_VALUE 0 idev->tempaddr_list.prev 4096-ptr_max
PARAM_VALUE 0 idev->tempaddr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->tempaddr_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 *idev->dev->name 0-255
BUF_SIZE 0 idev 2056
BUF_SIZE 0 idev->nd_parms 160
BUF_SIZE 0 idev->nd_parms->tbl 1136
CAPPED_DATA 0 idev->dev->nd_net.net 1
DATA_SOURCE 0 idev r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex