Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/nexthop.c nexthop_add() -> __remove_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 nh 4096-ptr_max
PARAM_VALUE 1 nh->id 1-u32max
PARAM_VALUE 1 nh->net->rtnl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 nh->net->rtnl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 nh->nh_grp 4096-ptr_max
PARAM_VALUE 1 nh->nh_grp->res_table->upkeep_dw.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 nh->nh_grp->res_table->uw_nh_entries.next->next 4096-ptr_max
PARAM_VALUE 1 nh->nh_grp->res_table->uw_nh_entries.next->prev 4096-ptr_max
PARAM_VALUE 1 nh->nh_info 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->f6i_list.next 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->f6i_list.prev 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->fdb_list.next 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->fdb_list.prev 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->fi_list.next 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->fi_list.prev 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->grp_list.next 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->grp_list.prev 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->id 1-u32max
PARAM_VALUE 1 nh->nh_info->nh_parent->nh_grp 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->nh_info 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->nh_parent->protocol 0
PARAM_VALUE 1 nh->nh_info->nh_parent->refcnt.refs.counter 1
PARAM_VALUE 1 nh->protocol 0
PARAM_VALUE 1 nh->rb_node.__rb_parent_color 1
PARAM_VALUE 1 nh->rb_node.rb_left 4096-ptr_max
PARAM_VALUE 1 nh->rb_node.rb_right 4096-ptr_max
PARAM_VALUE 1 nh->refcnt.refs.counter 1
PARAM_VALUE 2 nlinfo 0
BUF_SIZE 1 nh 208
CAPPED_DATA 1 nh->id 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nh->nh_flags 0-127[c]
USER_DATA 1 nh->nh_info->nh_parent->nh_flags 0-127[c]
USER_DATA 1 nh->nh_info->nh_parent->protocol 0
USER_DATA 1 nh->protocol 0
UNITS 0 net unit_byte
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

net/ipv4/nexthop.c remove_nexthop() -> __remove_nexthop()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->nexthop.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 1 nh 4096-ptr_max
PARAM_VALUE 1 nh->rb_node.rb_left 0,4096-ptr_max
PARAM_VALUE 1 nh->rb_node.rb_right 0,4096-ptr_max
PARAM_VALUE 2 nlinfo 0,4096-ptr_max
PARAM_VALUE 2 nlinfo->nl_net 4096-ptr_max
BUF_SIZE 2 nlinfo->nlh (-1),1-s32max
CAPPED_DATA 1 &nh->rb_node 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 nh $1
DATA_SOURCE 2 nlinfo $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
USER_PTR 2 nlinfo->nlh
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &net->rtnl_mutex

net/ipv4/nexthop.c replace_nexthop() -> __remove_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 nh 4096-ptr_max
PARAM_VALUE 1 nh->id 1-u32max
PARAM_VALUE 1 nh->net->rtnl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 nh->net->rtnl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 nh->nh_grp 4096-ptr_max
PARAM_VALUE 1 nh->nh_info 4096-ptr_max
PARAM_VALUE 1 nh->nh_info->fdb_nh 0
PARAM_VALUE 1 nh->protocol 0
PARAM_VALUE 1 nh->refcnt.refs.counter 1
PARAM_VALUE 2 nlinfo 0
BUF_SIZE 1 nh 208
CAPPED_DATA 1 nh->nh_grp 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 nh $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nh->nh_flags 0-127[c]
USER_DATA 1 nh->protocol 0
UNITS 0 net unit_byte
LOCK2 global &rtnl_mutex
LOCK2 0 &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 &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex