Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/route.c rt_fill_info() -> ipmr_get_route()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.devconf_all 4096-ptr_max
PARAM_VALUE 0 net->ipv4.fib_default->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_default->tb_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->kv->key 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->stats->semantic_match_miss 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->_skb_refdst 4096-18446744073709547521
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->protocol 2048
PARAM_VALUE 4 rtm 4096-ptr_max
PARAM_VALUE 4 rtm->rtm_dst_len 32
PARAM_VALUE 4 rtm->rtm_family 2
PARAM_VALUE 4 rtm->rtm_flags 0,256-u32max
PARAM_VALUE 4 rtm->rtm_protocol 0
PARAM_VALUE 4 rtm->rtm_scope 0
PARAM_VALUE 4 rtm->rtm_src_len 0,32
BUF_SIZE 1 skb 3776
BUF_SIZE 1 skb 3776
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb $7
DATA_SOURCE 4 rtm r nlmsg_data
DATA_SOURCE 5 portid $8
FUZZY_MAX 4 rtm->rtm_src_len 32
BIT_INFO 4 rtm->rtm_flags 0x200,0xffff0300
BIT_INFO 4 rtm->rtm_src_len 0x0,0x20
HARD_MAX 4 rtm->rtm_src_len 32
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 saddr 0-u32max
UNITS 0 net unit_byte
UNITS 2 saddr unit_byte
UNITS 3 daddr unit_byte
USER_PTR 4 rtm
LOCK2 rcu_read
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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