Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/igmp.c __ip_mc_dec_group() -> ip_mc_hash_remove()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 1-u64max
PARAM_VALUE 1 im 4096-ptr_max
PARAM_VALUE 1 im->users 0
CAPPED_DATA 1 im->multiaddr 1
DATA_SOURCE 0 in_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/igmp.c ip_mc_destroy_dev() -> ip_mc_hash_remove()

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