Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/fib_trie.c fib_table_insert() -> fib_insert_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 0,4096-ptr_max
PARAM_VALUE 2 l->bits 0
PARAM_VALUE 2 l->tnode 4096-ptr_max
PARAM_VALUE 3 new 4096-ptr_max
PARAM_VALUE 3 new->fa_default (-1)
PARAM_VALUE 3 new->fa_dscp 0,4-252
PARAM_VALUE 3 new->fa_info 4096-ptr_max
PARAM_VALUE 3 new->fa_info->fib_scope 0,253-255
PARAM_VALUE 3 new->fa_info->fib_type 0-3,7
PARAM_VALUE 3 new->fa_info->nh 0,4096-ptr_max
PARAM_VALUE 3 new->fa_state 0
PARAM_VALUE 3 new->offload 0
PARAM_VALUE 3 new->offload_failed 0
PARAM_VALUE 3 new->tb_id 1-u32max
PARAM_VALUE 3 new->trap 0
PARAM_VALUE 4 fa 0,4096-ptr_max
BUF_SIZE 0 t 24
BUF_SIZE 3 new->fa_info (-1),128-s32max
CAPPED_DATA 3 new->fa_dscp 1
CAPPED_DATA 3 new->fa_info->fib_protocol 1
CAPPED_DATA 3 new->fa_info->fib_scope 1
CAPPED_DATA 3 new->fa_info->fib_tb_id 1
CAPPED_DATA 3 new->fa_info->fib_type 1
CAPPED_DATA 3 new->fa_type 1
CAPPED_DATA 3 new->tb_id 1
DATA_SOURCE 2 l r fib_find_node
DATA_SOURCE 3 new r kmem_cache_alloc_noprof
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 new->fa_dscp 0,4-252[c]
USER_DATA 3 new->fa_info->fib_priority 0-32766,4294934527-4294967294
USER_DATA 3 new->fa_info->fib_protocol 0[c]
USER_DATA 3 new->fa_info->fib_scope 0[c]
USER_DATA 5 key 0-u32max
UNITS 5 key unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/fib_trie.c fib_trie_unmerge() -> fib_insert_alias()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->kv->key 0-4294967295
PARAM_VALUE 2 l 0,4096-ptr_max
PARAM_VALUE 2 l->leaf.first->pprev 4096-ptr_max
PARAM_VALUE 3 new 1-u64max
PARAM_VALUE 3 new->tb_id 255
PARAM_VALUE 4 fa 0
BUF_SIZE 0 t 24
DATA_SOURCE 3 new r kmem_cache_alloc_noprof
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 5 key
UNITS 5 key unit_byte
LOCK2 &ops->lock
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct fib_rules_ops)->lock