Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6mr.c ip6mr_net_exit() -> ip6mr_notifier_exit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mr6_rules_ops 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mr6_rules_ops->fro_net 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mr6_rules_ops->fro_net->rules_mod_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->ipv6.mr6_rules_ops->list.next->prev 4096-ptr_max
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

net/ipv6/ip6mr.c ip6mr_net_init() -> ip6mr_notifier_exit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv6.ip6mr_notifier_ops 1-ptr_max
PARAM_VALUE 0 net->ipv6.ip6mr_notifier_ops->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv6.ipmr_seq.counter 0
PARAM_VALUE 0 net->ipv6.mfc_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->ipv6.mfc_mutex.first_waiter 0
PARAM_VALUE 0 net->ipv6.mfc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mfc_mutex.osq.tail.counter 0
PARAM_VALUE 0 net->ipv6.mfc_mutex.owner.counter 0
PARAM_VALUE 0 net->ipv6.mr6_rules_ops->fro_net->rules_mod_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->ipv6.mr6_rules_ops->list.next->prev 4096-ptr_max
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