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_remove_alias()

Type Parameter Key Value
PARAM_VALUE 0 t->kv->bits 0-255
PARAM_VALUE 0 t->kv->key 0-4294967295
PARAM_VALUE 0 t->kv->pos 0-255
PARAM_VALUE 0 t->kv->slen 0-255
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 2 l 4096-ptr_max
PARAM_VALUE 2 l->bits 0
PARAM_VALUE 2 l->leaf.first 1-u64max
PARAM_VALUE 2 l->tnode 4096-ptr_max
PARAM_VALUE 3 old 4096-ptr_max
PARAM_VALUE 3 old->fa_dscp 0,4-252
PARAM_VALUE 3 old->fa_info 4096-ptr_max
PARAM_VALUE 3 old->fa_info->nh 0,4096-ptr_max
PARAM_VALUE 3 old->fa_slen 0-32
PARAM_VALUE 3 old->tb_id 1-u32max
BUF_SIZE 0 t 24
CAPPED_DATA 3 old 1
CAPPED_DATA 3 old->fa_dscp 1
CAPPED_DATA 3 old->fa_slen 1
CAPPED_DATA 3 old->tb_id 1
DATA_SOURCE 2 l r fib_find_node
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_remove_alias()

Type Parameter Key Value
PARAM_VALUE 0 t->kv->bits 0-255
PARAM_VALUE 0 t->kv->key 0-4294967295
PARAM_VALUE 0 t->kv->pos 0-255
PARAM_VALUE 0 t->kv->slen 0-255
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->slen 1-255
PARAM_VALUE 2 l 4096-ptr_max
PARAM_VALUE 2 l->bits 0
PARAM_VALUE 2 l->leaf.first 1-u64max
PARAM_VALUE 2 l->leaf.first->pprev 4096-ptr_max
PARAM_VALUE 2 l->tnode 4096-ptr_max
PARAM_VALUE 3 old 4096-ptr_max
PARAM_VALUE 3 old->fa_default (-1)
PARAM_VALUE 3 old->fa_dscp 0,4-252
PARAM_VALUE 3 old->fa_info 4096-ptr_max
PARAM_VALUE 3 old->fa_info->fib_scope 0,253-255
PARAM_VALUE 3 old->fa_info->fib_type 0-3,7
PARAM_VALUE 3 old->fa_info->nh 0,4096-ptr_max
PARAM_VALUE 3 old->fa_list.pprev 4096-ptr_max
PARAM_VALUE 3 old->fa_state 0
PARAM_VALUE 3 old->offload 0
PARAM_VALUE 3 old->offload_failed 0
PARAM_VALUE 3 old->tb_id 1-u32max
PARAM_VALUE 3 old->trap 0
BUF_SIZE 0 t 24
BUF_SIZE 3 old->fa_info (-1),128-s32max
CAPPED_DATA 3 old 1
CAPPED_DATA 3 old->fa_dscp 1
CAPPED_DATA 3 old->fa_info->fib_protocol 1
CAPPED_DATA 3 old->fa_info->fib_scope 1
CAPPED_DATA 3 old->fa_info->fib_tb_id 1
CAPPED_DATA 3 old->fa_info->fib_type 1
CAPPED_DATA 3 old->fa_slen 1
CAPPED_DATA 3 old->fa_type 1
CAPPED_DATA 3 old->tb_id 1
DATA_SOURCE 3 old r kmem_cache_alloc_noprof
NOSPEC 3 old->fa_dscp
NOSPEC 3 old->fa_info->fib_protocol
NOSPEC 3 old->fa_info->fib_scope
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 old->fa_dscp 0,4-252[c]
USER_DATA 3 old->fa_info->fib_priority 0-32766,4294934527-4294967294
USER_DATA 3 old->fa_info->fib_protocol 0[c]
USER_DATA 3 old->fa_info->fib_scope 0[c]
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex