Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/fib_frontend.c fib_net_exit() -> fib4_notifier_exit()

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

net/ipv4/fib_frontend.c fib_net_init() -> fib4_notifier_exit()

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->ipv4.fib_default 0
PARAM_VALUE 0 net->ipv4.fib_main 0
PARAM_VALUE 0 net->ipv4.notifier_ops->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops->action 1-u64max
PARAM_VALUE 0 net->ipv4.rules_ops->compare 1-u64max
PARAM_VALUE 0 net->ipv4.rules_ops->configure 1-u64max
PARAM_VALUE 0 net->ipv4.rules_ops->fill 1-u64max
PARAM_VALUE 0 net->ipv4.rules_ops->fro_net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops->fro_net->rules_mod_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->ipv4.rules_ops->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops->list.next->prev 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops->match 1-u64max
PARAM_VALUE 0 net->ipv4.rules_ops->rule_size 160-4000000
PARAM_VALUE 0 net->ipv4.rules_ops->rules_list.next 4096-ptr_max
PARAM_VALUE 0 net->notrefcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 net->notrefcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 net->proc_net->nlink 0-4294967295
PARAM_VALUE 0 net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 net->refcnt_tracker.list.next->prev 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 0 net->rtnl_mutex.first_waiter->task->usage.refs.counter s32min-s32max
BUF_SIZE 0 net->key_domain (-1),24
BUF_SIZE 0 net->ucounts (-1),184
CAPPED_DATA 0 net->ipv4.fib_info_hash 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

net/ipv4/fib_frontend.c ip_fib_net_init() -> fib4_notifier_exit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.fib_seq 0
PARAM_VALUE 0 net->ipv4.fib_table_hash 0,4096-ptr_max
PARAM_VALUE 0 net->ipv4.notifier_ops 1-ptr_max
PARAM_VALUE 0 net->ipv4.notifier_ops->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.sysctl_fib_multipath_hash_fields 7
BUF_SIZE 0 net (-1)-s32max
BUF_SIZE 0 net (-1)-s32max
BUF_SIZE 0 net->ipv4.fib_table_hash 2048
BUF_SIZE 0 net->key_domain (-1),24
BUF_SIZE 0 net->ucounts (-1),184
CAPPED_DATA 0 net->gen 1
CAPPED_DATA 0 net->ipv4.fib_table_hash 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem