Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_dad_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_gq_running 0
PARAM_VALUE 0 idev->mc_gq_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_ifc_count 0
PARAM_VALUE 0 idev->mc_ifc_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list 0
PARAM_VALUE 0 idev->mc_list->idev->dev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_list->idev->dev->ip6_ptr->lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_list->idev->dev->mc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->dev->work_node.next 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->dev->work_node.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->dev->work_node.prev 4074011205511094272
PARAM_VALUE 0 idev->mc_list->idev->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_list->idev->dev_tracker->dead 0-1
PARAM_VALUE 0 idev->mc_list->idev->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work.work.entry.next 1-u64max
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work.work.entry.next->next 1-u64max
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work.work.entry.prev 1-u64max
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work.work.entry.prev->next 1-u64max
PARAM_VALUE 0 idev->mc_list->idev->mc_ifc_work.work.entry.prev->prev 1-u64max
PARAM_VALUE 0 idev->mc_list->idev->mc_tomb 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->mca_work.work.entry.next->next 1-u64max
PARAM_VALUE 0 idev->mc_list->mca_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->mca_work.work.entry.prev->next 1-u64max
PARAM_VALUE 0 idev->mc_list->mca_work.work.entry.prev->prev 1-u64max
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.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 idev->mc_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 idev->mc_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_query_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_query_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_report_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_report_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 idev->mc_tomb 0
PARAM_VALUE 0 idev->mc_tomb->idev->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_tomb->idev->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_tomb->idev->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_tomb->idev->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_tomb->idev->dev_tracker->dead 0-1
PARAM_VALUE 0 idev->mc_tomb->idev->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_tomb->idev->rcu.func 1-u64max
PARAM_VALUE 0 idev->ra_mtu 0
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
PARAM_VALUE 0 *idev->mc_list->idev->dev->name 0-255
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 addrconf_notify() -> addrconf_sysctl_unregister()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dev 4096-ptr_max
PARAM_VALUE 0 idev->dev->nd_net.net 4096-ptr_max
CAPPED_DATA 0 idev->dev->nd_net.net 1
RX_PATH
NOCHECK_CALL

net/ipv6/addrconf.c addrconf_notify() -> addrconf_sysctl_unregister()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->cnf.sysctl_header 4096-ptr_max
PARAM_VALUE 0 idev->dev 4096-ptr_max
PARAM_VALUE 0 idev->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms 4096-ptr_max
PARAM_VALUE 0 idev->nd_parms->sysctl_table 4096-ptr_max
CAPPED_DATA 0 idev->dev->nd_net.net 1
CAPPED_DATA 0 idev->nd_parms->net.net 1
RX_PATH
NOCHECK_CALL