Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/nexthop.c fib6_check_nh_list() -> fib6_check_nexthop()

Type Parameter Key Value
PARAM_VALUE 0 nh 4096-ptr_max
PARAM_VALUE 0 nh->id 1-u32max
PARAM_VALUE 0 nh->net->rtnl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 nh->net->rtnl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 nh->nh_grp 4096-ptr_max
PARAM_VALUE 0 nh->nh_info 4096-ptr_max
PARAM_VALUE 0 nh->nh_info->fdb_nh 0
PARAM_VALUE 0 nh->nh_info->fib_nhc.nhc_gw_family 0,2,10
PARAM_VALUE 0 nh->refcnt.refs.counter 1
PARAM_VALUE 1 cfg 0
PARAM_VALUE 2 extack 4971238048455385088
PARAM_VALUE 2 extack->bad_attr 0
PARAM_VALUE 2 extack->cookie_len 0
PARAM_VALUE 2 extack->miss_nest 0
PARAM_VALUE 2 extack->miss_type 0
PARAM_VALUE 2 extack->policy 0
PARAM_VALUE 2 *extack->_msg_buf 0-255
CAPPED_DATA 0 nh->nh_info 1
DATA_SOURCE 0 nh $1
DATA_SOURCE 2 extack $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nh->nh_flags 0-6[c]
USER_DATA 0 nh->protocol 0-255
LOCK2 &net->rtnl_mutex
LOCK2 global &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

net/ipv6/route.c ip6_route_info_create_nh() -> fib6_check_nexthop()

Type Parameter Key Value
PARAM_VALUE 0 nh 4096-ptr_max
PARAM_VALUE 1 cfg 858256462879571968,2950613005020708864,6652296807720366080,7664424937499230208,8090513921446170624,8904447314051678208,9003424200363573248
PARAM_VALUE 1 cfg->fc_dst_len s32min-128
PARAM_VALUE 1 cfg->fc_nh_id 1-u32max
PARAM_VALUE 1 cfg->fc_nlinfo.nlh 0,4096-ptr_max
PARAM_VALUE 1 cfg->fc_protocol 1-u32max
PARAM_VALUE 1 cfg->fc_src_len s32min-128
PARAM_VALUE 1 cfg->fc_type 0-11
PARAM_VALUE 2 extack 0,4971238048455385088
PARAM_VALUE 2 extack->bad_attr 0
PARAM_VALUE 2 extack->policy 0
CAPPED_DATA 0 nh->id 1
CAPPED_DATA 1 cfg->fc_nh_id 1
DATA_SOURCE 0 nh r nexthop_find_by_id
DATA_SOURCE 1 cfg $1
DATA_SOURCE 2 extack $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cfg->fc_dst_len 0-128
USER_DATA 1 cfg->fc_flags 0-u32max[c][u]
USER_DATA 1 cfg->fc_ifindex s32min-(-1),1-s32max
USER_PTR 1 cfg->fc_encap
USER_PTR 1 cfg->fc_mp
USER_PTR 1 cfg->fc_mx
LOCK2 rcu_read