Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/fib_trie.c fib_table_delete() -> fib_release_info()

Type Parameter Key Value
PARAM_VALUE 0 fi 4096-ptr_max
PARAM_VALUE 0 fi->nh 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/fib_trie.c fib_table_flush() -> fib_release_info()

Type Parameter Key Value
PARAM_VALUE 0 fi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/fib_trie.c fib_table_insert() -> fib_release_info()

Type Parameter Key Value
PARAM_VALUE 0 fi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/fib_trie.c fib_table_insert() -> fib_release_info()

Type Parameter Key Value
PARAM_VALUE 0 fi 4096-ptr_max
PARAM_VALUE 0 fi->fib_nh->nh_common.nhc_family 0-255
PARAM_VALUE 0 fi->fib_nh->nh_tclassid 0-4294967295
PARAM_VALUE 0 fi->fib_scope 0,253-255
PARAM_VALUE 0 fi->fib_type 0-3,7
PARAM_VALUE 0 fi->nh 0,4096-ptr_max
BUF_SIZE 0 fi (-1),128-s32max
BUF_SIZE 0 fi (-1),128-s32max
CAPPED_DATA 0 fi 1
CAPPED_DATA 0 fi->fib_protocol 1
CAPPED_DATA 0 fi->fib_scope 1
CAPPED_DATA 0 fi->fib_tb_id 1
CAPPED_DATA 0 fi->fib_type 1
CAPPED_DATA 0 fi->nh 1
DATA_SOURCE 0 fi r fib_create_info
NOSPEC 0 fi->fib_priority
NOSPEC 0 fi->fib_protocol
NOSPEC 0 fi->fib_scope
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 fi->fib_nh->nh_common.nhc_flags 0-255
USER_DATA 0 fi->fib_nh->nh_common.nhc_oif s32min-s32max
USER_DATA 0 fi->fib_nh->nh_common.nhc_weight 1
USER_DATA 0 fi->fib_priority 0-32766,4294934527-4294967294
USER_DATA 0 fi->fib_protocol 0[c]
USER_DATA 0 fi->fib_scope 0[c]
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex