Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/netfilter/nf_conntrack_standalone.c nf_conntrack_fini_net() -> nf_conntrack_standalone_fini_sysctl()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->proc_net->nlink 0-4294967295
PARAM_VALUE 0 net->proc_net_stat->nlink 0-4294967295
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem
HALF_LOCKED2 &pool->lock

net/netfilter/nf_conntrack_standalone.c nf_conntrack_pernet_init() -> nf_conntrack_standalone_fini_sysctl()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ct.stat 0,4096-ptr_max
PARAM_VALUE 0 net->ct.sysctl_checksum 1
PARAM_VALUE 0 net->exit_list.next 2110096532761915392
PARAM_VALUE 0 net->exit_list.prev 2110096532761915392
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 0 net->proc_net->nlink 0-4294967295
PARAM_VALUE 0 net->proc_net_stat->nlink 0-4294967295
PARAM_VALUE 0 net->sysctls.dir.header.parent 0
PARAM_VALUE 0 net->sysctls.dir.header.parent->root.rb_node 4096-ptr_max
PARAM_VALUE 0 net->sysctls.dir.header.type 0-1
PARAM_VALUE 0 net->sysctls.dir.header.used 0
BUF_SIZE 0 net->key_domain (-1),24
BUF_SIZE 0 net->ucounts (-1),184
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem