Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ipmr.c ipmr_net_exit_rtnl() -> ipmr_rules_exit_rtnl()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
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 1 dev_kill_list 7014720143616368640
DATA_SOURCE 0 net $0
DATA_SOURCE 1 dev_kill_list $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem
LOCK2 global &rtnl_mutex
LOCK2 0 &net->rtnl_mutex
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv4/ipmr.c ipmr_net_init() -> ipmr_rules_exit_rtnl()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.ipmr_notifier_ops 1-ptr_max
PARAM_VALUE 0 net->ipv4.ipmr_notifier_ops->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.ipmr_seq.counter 0
PARAM_VALUE 0 net->ipv4.mfc_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->ipv4.mfc_mutex.first_waiter 0
PARAM_VALUE 0 net->ipv4.mfc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mfc_mutex.osq.tail.counter 0
PARAM_VALUE 0 net->ipv4.mfc_mutex.owner.counter 0
PARAM_VALUE 0 net->ipv4.mr_rules_ops 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->action 1-u64max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->compare 1-u64max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->configure 1-u64max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->fill 1-u64max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->fro_net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->lock.magic 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->match 1-u64max
PARAM_VALUE 0 net->ipv4.mr_rules_ops->rule_size 160-4000000
PARAM_VALUE 0 net->ipv4.mr_rules_ops->rules_list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_tables.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_tables.next->next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_tables.prev->next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.mr_tables.prev->prev 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mr6_tables.prev 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mr6_tables.prev->next 4096-ptr_max
PARAM_VALUE 1 dev_kill_list 61096218825945088
PARAM_VALUE 1 dev_kill_list->next 61096218825945088
PARAM_VALUE 1 dev_kill_list->prev 61096218825945088
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