Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/nexthop.c insert_nexthop() -> replace_nexthop()

Type Parameter Key Value
PARAM_VALUE 0 net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->rtnl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 net->rtnl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 old 4096-ptr_max
PARAM_VALUE 1 old->id 1-u32max
PARAM_VALUE 2 new 4096-ptr_max
PARAM_VALUE 2 new->f6i_list.next 4096-ptr_max
PARAM_VALUE 2 new->f6i_list.next->next 4096-ptr_max
PARAM_VALUE 2 new->f6i_list.prev 4096-ptr_max
PARAM_VALUE 2 new->f6i_list.prev->next 4096-ptr_max
PARAM_VALUE 2 new->f6i_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 new->fdb_list.next 4096-ptr_max
PARAM_VALUE 2 new->fdb_list.next->next 4096-ptr_max
PARAM_VALUE 2 new->fdb_list.prev 4096-ptr_max
PARAM_VALUE 2 new->fdb_list.prev->next 4096-ptr_max
PARAM_VALUE 2 new->fdb_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 new->fi_list.next 4096-ptr_max
PARAM_VALUE 2 new->fi_list.next->next 4096-ptr_max
PARAM_VALUE 2 new->fi_list.prev 4096-ptr_max
PARAM_VALUE 2 new->fi_list.prev->next 4096-ptr_max
PARAM_VALUE 2 new->fi_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 new->grp_list.next 4096-ptr_max
PARAM_VALUE 2 new->grp_list.next->next 4096-ptr_max
PARAM_VALUE 2 new->grp_list.prev 4096-ptr_max
PARAM_VALUE 2 new->grp_list.prev->next 4096-ptr_max
PARAM_VALUE 2 new->grp_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 new->id 1-u32max
PARAM_VALUE 2 new->net->rtnl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 2 new->net->rtnl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 2 new->nh_grp 4096-ptr_max
PARAM_VALUE 2 new->nh_info 4096-ptr_max
PARAM_VALUE 2 new->protocol 0
PARAM_VALUE 2 new->refcnt.refs.counter 1
PARAM_VALUE 3 cfg 6966593615929561088
PARAM_VALUE 3 cfg->dev 0,4096-ptr_max
PARAM_VALUE 3 cfg->gw.ipv4 0
PARAM_VALUE 3 cfg->nh_blackhole 0-1
PARAM_VALUE 3 cfg->nh_encap 0
PARAM_VALUE 3 cfg->nh_encap_type 0
PARAM_VALUE 3 cfg->nh_family 0,2,10
PARAM_VALUE 3 cfg->nh_fdb 0-1
PARAM_VALUE 3 cfg->nh_flags 0-6
PARAM_VALUE 3 cfg->nh_grp 0
PARAM_VALUE 3 cfg->nh_grp_res_idle_timer 0-18446744073709551614
PARAM_VALUE 3 cfg->nh_grp_res_unbalanced_timer 0-18446744073709551614
PARAM_VALUE 3 cfg->nh_id 1-u32max
PARAM_VALUE 3 cfg->nh_protocol 0
PARAM_VALUE 3 cfg->nlflags 256-u16max
PARAM_VALUE 3 cfg->nlinfo.nlh 4096-ptr_max
PARAM_VALUE 4 extack 4971238048455385088
PARAM_VALUE 4 extack->bad_attr 0
PARAM_VALUE 4 extack->bad_attr->nla_len 4-u16max
PARAM_VALUE 4 extack->policy 0
PARAM_VALUE 4 *extack->_msg_buf 0-255
BUF_SIZE 2 new 208
CAPPED_DATA 1 old->id 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 new $1
DATA_SOURCE 3 cfg $2
DATA_SOURCE 4 extack $3
MEM_ZERO 3 cfg
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 new->nh_flags 0-6[c]
USER_DATA 2 new->protocol 0
USER_DATA 3 cfg->nh_family 0,2,10
USER_DATA 3 cfg->nh_flags 0-6
USER_DATA 3 cfg->nh_protocol 0
USER_DATA 3 cfg->nlflags 256-u16max[u]
UNITS 0 net unit_byte
USER_PTR 3 cfg->nlinfo.nlh
LOCK2 global &rtnl_mutex
LOCK2 0 &net->rtnl_mutex
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 &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex