Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

net/core/net_namespace.c cleanup_net() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->key_domain 4096-ptr_max
PARAM_VALUE 0 net->key_domain->removed 1
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.next->prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.next->prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ucounts 4096-ptr_max
PARAM_VALUE 0 net->ucounts->ns->work.entry.next->prev 4096-ptr_max
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 &pool->lock

net/core/net_namespace.c copy_net_ns() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->core.sysctl_optmem_max 131072
PARAM_VALUE 0 net->core.sysctl_somaxconn 4096
PARAM_VALUE 0 net->core.sysctl_tstamp_allow_data 1
PARAM_VALUE 0 net->core.sysctl_txq_reselection 0-536870912
PARAM_VALUE 0 net->core.sysctl_txrehash 1
PARAM_VALUE 0 net->dev_base_seq 1
PARAM_VALUE 0 net->dev_unreg_head.next 4096-ptr_max
PARAM_VALUE 0 net->dev_unreg_head.next->next 4096-ptr_max
PARAM_VALUE 0 net->dev_unreg_head.prev 4096-ptr_max
PARAM_VALUE 0 net->dev_unreg_head.prev->next 4096-ptr_max
PARAM_VALUE 0 net->dev_unreg_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->exit_list.next 2206061989172551680
PARAM_VALUE 0 net->exit_list.prev 2206061989172551680
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 0 net->ipv4.ra_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->ipv4.ra_mutex.first_waiter 0
PARAM_VALUE 0 net->ipv4.ra_mutex.magic 4096-ptr_max
PARAM_VALUE 0 net->ipv4.ra_mutex.osq.tail.counter 0
PARAM_VALUE 0 net->ipv4.ra_mutex.owner.counter 0
PARAM_VALUE 0 net->key_domain 4096-ptr_max
PARAM_VALUE 0 net->key_domain->removed 1
PARAM_VALUE 0 net->list.next 6025048819063177216
PARAM_VALUE 0 net->list.prev 4096-ptr_max
PARAM_VALUE 0 net->netns_ids.idr_base 0
PARAM_VALUE 0 net->netns_ids.idr_next 0
PARAM_VALUE 0 net->netns_ids.idr_rt.xa_flags 33554436
PARAM_VALUE 0 net->netns_ids.idr_rt.xa_head 0
PARAM_VALUE 0 net->notrefcnt_tracker->class 0-255
PARAM_VALUE 0 net->notrefcnt_tracker.class 935139515852423168
PARAM_VALUE 0 net->notrefcnt_tracker.dead 0
PARAM_VALUE 0 net->notrefcnt_tracker.no_tracker.refs.counter 1
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine_avail 128
PARAM_VALUE 0 net->notrefcnt_tracker.untracked.refs.counter 1
PARAM_VALUE 0 net->ns.__ns_ref.refs.counter 1
PARAM_VALUE 0 net->ns.__ns_ref_active.counter 0-1
PARAM_VALUE 0 net->ns.ns_owner_node.ns_list_entry.next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_node.ns_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_node.ns_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_node.ns_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_node.ns_node.__rb_parent_color 1
PARAM_VALUE 0 net->ns.ns_owner_node.ns_node.rb_left 0,4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_node.ns_node.rb_right 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_root.ns_list_head.next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_root.ns_list_head.next->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_root.ns_list_head.prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_root.ns_list_head.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_owner_root.ns_list_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_node.__rb_parent_color 1
PARAM_VALUE 0 net->ns.ns_tree_node.ns_node.rb_left 0,4096-ptr_max
PARAM_VALUE 0 net->ns.ns_tree_node.ns_node.rb_right 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_type 1073741824
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_node.__rb_parent_color 1
PARAM_VALUE 0 net->ns.ns_unified_node.ns_node.rb_left 0,4096-ptr_max
PARAM_VALUE 0 net->ns.ns_unified_node.ns_node.rb_right 4096-ptr_max
PARAM_VALUE 0 net->ns.ops 0,4096-ptr_max
PARAM_VALUE 0 net->ns.stashed 0
PARAM_VALUE 0 net->passive.refs.counter 1
PARAM_VALUE 0 net->ptype_all.next 4096-ptr_max
PARAM_VALUE 0 net->ptype_all.next->next 4096-ptr_max
PARAM_VALUE 0 net->ptype_all.prev 4096-ptr_max
PARAM_VALUE 0 net->ptype_all.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ptype_all.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->ptype_specific.next 4096-ptr_max
PARAM_VALUE 0 net->ptype_specific.next->next 4096-ptr_max
PARAM_VALUE 0 net->ptype_specific.prev 4096-ptr_max
PARAM_VALUE 0 net->ptype_specific.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ptype_specific.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->refcnt_tracker->class 0-255
PARAM_VALUE 0 net->refcnt_tracker.class 6128782769501257728
PARAM_VALUE 0 net->refcnt_tracker.dead 0
PARAM_VALUE 0 net->refcnt_tracker.no_tracker.refs.counter 1
PARAM_VALUE 0 net->refcnt_tracker.quarantine_avail 128
PARAM_VALUE 0 net->refcnt_tracker.untracked.refs.counter 1
PARAM_VALUE 0 net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->rtnl_mutex.first_waiter 0
PARAM_VALUE 0 net->rtnl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 net->rtnl_mutex.osq.tail.counter 0
PARAM_VALUE 0 net->rtnl_mutex.owner.counter 0
PARAM_VALUE 0 net->ucounts 4096-ptr_max
BUF_SIZE 0 net->ucounts (-1),192
CAPPED_DATA 0 net 1
DATA_SOURCE 0 net r net_alloc
TERMINATED 0 net->notrefcnt_tracker.class 1
TERMINATED 0 net->refcnt_tracker.class 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tsk->signal->exec_update_lock

net/core/net_namespace.c net_drop_ns() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &kobj_ns_type_lock
HALF_LOCKED2 &of->mutex

net/core/sock.c __sk_destruct() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

net/core/sock.c sk_net_refcnt_upgrade() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 net->notrefcnt_tracker.quarantine.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 sk

net/core/dev.c rtnl_net_dev_lock() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->dev_unreg_lock.rlock.dep_map->name 0-255
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 0 net->rtnl_mutex.first_waiter->task->usage.refs.counter s32min-s32max
CAPPED_DATA 0 net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte

net/core/dev.c rtnl_net_dev_unlock() -> net_passive_dec()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->dev_unreg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->rtnl_mutex.first_waiter->task->usage.refs.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 &dev->nd_net.net->rtnl_mutex