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_info_notify_update() -> rtmsg_fib()

Type Parameter Key Value
PARAM_VALUE 0 event 24
PARAM_VALUE 2 fa 4096-ptr_max
PARAM_VALUE 2 fa->fa_info 4096-ptr_max
PARAM_VALUE 2 fa->fa_info->nh_updated 1
PARAM_VALUE 5 info 6966593615929561184
PARAM_VALUE 5 info->nlh 4096-ptr_max
PARAM_VALUE 5 info->portid 0
PARAM_VALUE 6 nlm_flags 256
CAPPED_DATA 2 fa->tb_id 1
CAPPED_DATA 4 tb_id 1
DATA_SOURCE 5 info $2
PARAM_COMPARE 2 fa->tb_id == $4
PARAM_COMPARE 4 tb_id == $2->tb_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 key unit_byte
USER_PTR 5 info->nlh
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &dev->ethtool->rss_lock
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 &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 event 25
PARAM_VALUE 2 fa 4096-ptr_max
PARAM_VALUE 2 fa->fa_dscp 0,4-252
PARAM_VALUE 2 fa->fa_info 4096-ptr_max
PARAM_VALUE 2 fa->fa_slen 0-32
PARAM_VALUE 2 fa->tb_id 1-u32max
PARAM_VALUE 4 tb_id 1-u32max
PARAM_VALUE 5 info 2491509575282348120,4923733336213262424,8689399522901368920
PARAM_VALUE 5 info->nlh 0,4096-ptr_max
PARAM_VALUE 6 nlm_flags 0
CAPPED_DATA 2 fa 1
CAPPED_DATA 2 fa->fa_dscp 1
CAPPED_DATA 2 fa->fa_slen 1
CAPPED_DATA 2 fa->tb_id 1
CAPPED_DATA 4 tb_id 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 key 0-u32max
UNITS 1 key unit_byte
USER_PTR 5 info->nlh
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 event 25
PARAM_VALUE 2 fa 4096-ptr_max
PARAM_VALUE 2 fa->fa_info 4096-ptr_max
PARAM_VALUE 2 fa->fa_info->pfsrc_removed 1
PARAM_VALUE 3 dst_len (-223)-32
PARAM_VALUE 5 info 9191390685412454400
PARAM_VALUE 5 info->nlh 0
PARAM_VALUE 5 info->portid 0
PARAM_VALUE 6 nlm_flags 0
CAPPED_DATA 2 fa->tb_id 1
CAPPED_DATA 4 tb_id 1
PARAM_COMPARE 2 fa->tb_id == $4
PARAM_COMPARE 4 tb_id == $2->tb_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 key unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 event 24
PARAM_VALUE 2 fa 4096-ptr_max
PARAM_VALUE 2 fa->fa_default (-1)
PARAM_VALUE 2 fa->fa_dscp 0,4-252
PARAM_VALUE 2 fa->fa_info 4096-ptr_max
PARAM_VALUE 2 fa->fa_info->fib_scope 0,253-255
PARAM_VALUE 2 fa->fa_info->fib_type 0-3,7
PARAM_VALUE 2 fa->fa_info->nh 0,4096-ptr_max
PARAM_VALUE 2 fa->fa_list->pprev 4096-ptr_max
PARAM_VALUE 2 fa->fa_list.next->pprev 4096-ptr_max
PARAM_VALUE 2 fa->fa_list.pprev 4096-ptr_max
PARAM_VALUE 2 fa->fa_state 0,2-254
PARAM_VALUE 2 fa->offload 0
PARAM_VALUE 2 fa->offload_failed 0
PARAM_VALUE 2 fa->tb_id 1-u32max
PARAM_VALUE 2 fa->trap 0
PARAM_VALUE 4 tb_id 1-u32max
PARAM_VALUE 5 info 1718700463136440408,2491509575282348120,8689399522901368920
PARAM_VALUE 5 info->nlh 0,4096-ptr_max
PARAM_VALUE 6 nlm_flags 256
BUF_SIZE 2 fa->fa_info (-1),128-s32max
CAPPED_DATA 2 fa 1
CAPPED_DATA 2 fa->fa_dscp 1
CAPPED_DATA 2 fa->fa_info->fib_priority 1
CAPPED_DATA 2 fa->fa_info->fib_protocol 1
CAPPED_DATA 2 fa->fa_info->fib_scope 1
CAPPED_DATA 2 fa->fa_info->fib_tb_id 1
CAPPED_DATA 2 fa->fa_info->fib_type 1
CAPPED_DATA 2 fa->fa_slen 1
CAPPED_DATA 2 fa->fa_type 1
CAPPED_DATA 2 fa->tb_id 1
CAPPED_DATA 4 tb_id 1
DATA_SOURCE 2 fa r kmem_cache_alloc_noprof
BIT_INFO 2 fa->fa_state 0x0,0xfe
NOSPEC 2 fa->fa_info->fib_protocol
NOSPEC 2 fa->fa_info->fib_scope
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 key 0-u32max
USER_DATA 2 fa->fa_info->fib_protocol 0[c]
USER_DATA 2 fa->fa_info->fib_scope 0[c]
UNITS 1 key unit_byte
USER_PTR 5 info->nlh
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 event 24
PARAM_VALUE 2 fa 4096-ptr_max
PARAM_VALUE 2 fa->fa_default (-1)
PARAM_VALUE 2 fa->fa_dscp 0,4-252
PARAM_VALUE 2 fa->fa_info 4096-ptr_max
PARAM_VALUE 2 fa->fa_info->fib_scope 0,253-255
PARAM_VALUE 2 fa->fa_info->fib_type 0-3,7
PARAM_VALUE 2 fa->fa_info->nh 0,4096-ptr_max
PARAM_VALUE 2 fa->fa_list.pprev 4096-ptr_max
PARAM_VALUE 2 fa->fa_state 0
PARAM_VALUE 2 fa->offload 0
PARAM_VALUE 2 fa->offload_failed 0
PARAM_VALUE 2 fa->tb_id 1-u32max
PARAM_VALUE 2 fa->trap 0
PARAM_VALUE 4 tb_id 1-u32max
PARAM_VALUE 5 info 1718700463136440408,2491509575282348120,8689399522901368920
PARAM_VALUE 5 info->nlh 0,4096-ptr_max
PARAM_VALUE 6 nlm_flags 1024,1536,3072
BUF_SIZE 2 fa->fa_info (-1),128-s32max
CAPPED_DATA 2 fa 1
CAPPED_DATA 2 fa->fa_dscp 1
CAPPED_DATA 2 fa->fa_info->fib_protocol 1
CAPPED_DATA 2 fa->fa_info->fib_scope 1
CAPPED_DATA 2 fa->fa_info->fib_tb_id 1
CAPPED_DATA 2 fa->fa_info->fib_type 1
CAPPED_DATA 2 fa->fa_slen 1
CAPPED_DATA 2 fa->fa_type 1
CAPPED_DATA 2 fa->tb_id 1
CAPPED_DATA 4 tb_id 1
DATA_SOURCE 2 fa r kmem_cache_alloc_noprof
BIT_INFO 6 nlm_flags 0x400,0xe00
NOSPEC 2 fa->fa_dscp
NOSPEC 2 fa->fa_info->fib_protocol
NOSPEC 2 fa->fa_info->fib_scope
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 key 0-u32max
USER_DATA 2 fa->fa_dscp 0,4-252[c]
USER_DATA 2 fa->fa_info->fib_priority 0-32766,4294934527-4294967294
USER_DATA 2 fa->fa_info->fib_protocol 0[c]
USER_DATA 2 fa->fa_info->fib_scope 0[c]
UNITS 1 key unit_byte
USER_PTR 5 info->nlh
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex