Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.fibnl 4096-ptr_max
PARAM_VALUE 0 net->ipv4.notifier_ops->list.next 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->list.next 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops->lock.first_waiter 0
PARAM_VALUE 0 net->ipv4.rules_ops->lock.magic 4096-ptr_max
PARAM_VALUE 0 net->ipv4.rules_ops->lock.owner.counter 0
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->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 net->refcnt_tracker.list.next->prev 4096-ptr_max
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pernet_ops_rwsem