Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/devinet.c inetdev_destroy() -> devinet_sysctl_unregister()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dead 1
PARAM_VALUE 0 idev->dev 4096-ptr_max
PARAM_VALUE 0 idev->dev->ip_ptr 0
PARAM_VALUE 0 idev->ifa_list 0
PARAM_VALUE 0 idev->ifa_list->ifa_flags 0-4294967295
PARAM_VALUE 0 idev->mc_list 0
PARAM_VALUE 0 idev->mc_list->interface->callback_head.func 1-u64max
PARAM_VALUE 0 idev->mc_list->interface->dev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_list->interface->dev->mc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 idev->mc_list->interface->dev->nd_net.net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 0 idev->mc_list->interface->dev->nd_net.net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 0 idev->mc_list->interface->dev->nd_net.net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 0 idev->mc_list->interface->dev->nd_net.net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 idev->mc_list->interface->dev->nd_net.net->ipv6.rt6_stats->fib_rt_alloc.counter s32min-s32max
PARAM_VALUE 0 idev->mc_list->interface->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->dev->work_node.next 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->dev->work_node.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->dev->work_node.prev 4074011205511094272
PARAM_VALUE 0 idev->mc_list->interface->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_list->interface->dev_tracker->dead 0-1
PARAM_VALUE 0 idev->mc_list->interface->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_list->interface->mc_tomb 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->interface->mc_tomb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_list->interface->mr_ifc_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 idev->mc_list->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_tomb 0
PARAM_VALUE 0 idev->mc_tomb->interface->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 idev->mc_tomb->interface->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_tomb->interface->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 idev->mc_tomb->interface->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_tomb->interface->dev_tracker->dead 0-1
PARAM_VALUE 0 idev->mc_tomb->interface->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 idev->mc_tomb->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_tomb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->mr_gq_running 0
PARAM_VALUE 0 idev->mr_gq_timer.entry.pprev 0
PARAM_VALUE 0 idev->mr_gq_timer.flags 0-4194302
PARAM_VALUE 0 idev->mr_gq_timer.function 0
PARAM_VALUE 0 idev->mr_ifc_count 0
PARAM_VALUE 0 idev->mr_ifc_timer.entry.pprev 0
PARAM_VALUE 0 idev->mr_ifc_timer.flags 0-4194302
PARAM_VALUE 0 idev->mr_ifc_timer.function 0
PARAM_VALUE 0 *idev->mc_list->interface->dev->name 0-255
DATA_SOURCE 0 idev $0
NOCHECK_CALL

net/ipv4/devinet.c inetdev_event() -> devinet_sysctl_unregister()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->ifa_list 0,4096-ptr_max
PARAM_VALUE 0 *idev->ifa_list->ifa_label 0-255
CAPPED_DATA 0 idev->ifa_list 1
NOCHECK_CALL