Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/route.c ip6_route_multipath_add() -> ip6_route_info_append()

Type Parameter Key Value
PARAM_VALUE 0 rt6_nh_list 427791081330044928
PARAM_VALUE 0 rt6_nh_list->next 427791081330044928
PARAM_VALUE 0 rt6_nh_list->prev 4096-ptr_max
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 1 rt->fib6_dst.addr->in6_u.u6_addr8 0-255
PARAM_VALUE 1 rt->fib6_dst.plen s32min-128
PARAM_VALUE 1 rt->fib6_metric 1-u32max
PARAM_VALUE 1 rt->fib6_metrics 4096-ptr_max
PARAM_VALUE 1 rt->fib6_nh 4096-ptr_max
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_family 0-255
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_flags 0-255
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_oif s32min-s32max
PARAM_VALUE 1 rt->fib6_ref.refs.counter 1
PARAM_VALUE 1 rt->fib6_siblings.next 4096-ptr_max
PARAM_VALUE 1 rt->fib6_siblings.next->next 4096-ptr_max
PARAM_VALUE 1 rt->fib6_siblings.prev 4096-ptr_max
PARAM_VALUE 1 rt->fib6_siblings.prev->next 4096-ptr_max
PARAM_VALUE 1 rt->fib6_siblings.prev->prev 4096-ptr_max
PARAM_VALUE 1 rt->fib6_src.addr->in6_u.u6_addr8 0-255
PARAM_VALUE 1 rt->fib6_src.plen s32min-128
PARAM_VALUE 1 rt->fib6_table 4096-ptr_max
PARAM_VALUE 1 rt->fib6_table->tb6_id 1-u32max
PARAM_VALUE 1 rt->fib6_type 1-11
PARAM_VALUE 1 rt->gc_link.next 0
PARAM_VALUE 1 rt->gc_link.pprev 0
PARAM_VALUE 2 r_cfg 858256462879571968
PARAM_VALUE 2 r_cfg->fc_dst_len s32min-128
PARAM_VALUE 2 r_cfg->fc_metric 1-u32max
PARAM_VALUE 2 r_cfg->fc_mp 1-u64max
PARAM_VALUE 2 r_cfg->fc_protocol 1-u32max
PARAM_VALUE 2 r_cfg->fc_src_len s32min-128
PARAM_VALUE 2 r_cfg->fc_type 0-11
BUF_SIZE 1 rt 200,304
BUF_SIZE 1 rt 200,304
CAPPED_DATA 1 rt->fib6_metrics 1
CAPPED_DATA 1 rt->fib6_table->tb6_id 1
DATA_SOURCE 1 rt r ip6_route_info_create
NOSPEC 1 rt->fib6_table->tb6_id
NOSPEC 2 r_cfg->fc_ifindex
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 rt->fib6_dst.plen 0-128
USER_DATA 1 rt->fib6_flags 0-u32max[c]
USER_DATA 1 rt->fib6_nh->nh_common.nhc_weight 1-256
USER_DATA 1 rt->fib6_table->tb6_id 1-255[c]
USER_DATA 2 r_cfg->fc_flags 0-u32max[c][u]
USER_DATA 2 r_cfg->fc_ifindex s32min-(-1),1-s32max
USER_PTR 2 r_cfg->fc_encap
USER_PTR 2 r_cfg->fc_mp
USER_PTR 2 r_cfg->fc_mx
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