Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6_fib.c fib6_add() -> fib6_add_rt2node()

Type Parameter Key Value
PARAM_VALUE 0 fn 4096-ptr_max
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_family 0-255
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 rt->fib6_table 4096-ptr_max
PARAM_VALUE 1 rt->fib6_table->tb6_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 rt->nh 0
PARAM_VALUE 2 info 2950613005020709000,6652296807720366216,7664424937499230344,7774629254558662656,8090513921446170760,8904447314051678344,9003424200363573384
PARAM_VALUE 2 info->nlh 0,4096-ptr_max
PARAM_VALUE 2 info->nlh->nlmsg_flags 1024-u16max
PARAM_VALUE 3 extack 0,4971238048455385088
PARAM_VALUE 3 extack->bad_attr 0
PARAM_VALUE 3 extack->policy 0
PARAM_VALUE 4 purge_list 8878986847405993984
PARAM_VALUE 4 purge_list->next 8878986847405993984
PARAM_VALUE 4 purge_list->prev 8878986847405993984
BUF_SIZE 1 rt (-1),200,304
BUF_SIZE 1 rt (-1),200,304
BUF_SIZE 2 info (-1),24
BUF_SIZE 2 info (-1),24
CAPPED_DATA 1 rt->fib6_dst.plen 1
CAPPED_DATA 1 rt->fib6_src.plen 1
DATA_SOURCE 1 rt $1
DATA_SOURCE 2 info $2
DATA_SOURCE 3 extack $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fn->fn_bit 0-128
USER_DATA 1 rt->fib6_dst.plen 0-128[c]
USER_DATA 1 rt->fib6_flags 0-u32max[c]
LOCK2 &table->tb6_lock
LOCK2 bh
TYPE_LOCK (struct fib6_table)->tb6_lock

net/ipv6/ip6_fib.c fib6_add_rt2node_nh() -> fib6_add_rt2node()

Type Parameter Key Value
PARAM_VALUE 0 fn 4096-ptr_max
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_dev_tracker->dead 0-1
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_family 0-255
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_rth_input->dst.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_rth_input->dst.dev_tracker->dead 0-1
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_rth_input->dst.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 rt->fib6_table 4096-ptr_max
PARAM_VALUE 1 rt->fib6_table->tb6_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 rt->nh 4096-ptr_max
PARAM_VALUE 1 rt->nh->dead 0
PARAM_VALUE 1 rt->nh->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 rt->nh->nh_info->fib6_nh.nh_common.nhc_family 0,2,10
PARAM_VALUE 1 rt->nh->nh_info->fib6_nh.nh_common.nhc_gw_family 0,2,10
PARAM_VALUE 2 info 2950613005020709000,6652296807720366216,7664424937499230344,7774629254558662656,8090513921446170760,8904447314051678344,9003424200363573384
PARAM_VALUE 2 info->nlh 0,4096-ptr_max
PARAM_VALUE 2 info->nlh->nlmsg_flags 1024-u16max
PARAM_VALUE 3 extack 0,4971238048455385088
PARAM_VALUE 3 extack->bad_attr 0
PARAM_VALUE 3 extack->cookie_len 0
PARAM_VALUE 3 extack->miss_nest 0
PARAM_VALUE 3 extack->miss_type 0
PARAM_VALUE 3 extack->policy 0
PARAM_VALUE 4 purge_list 8878986847405993984
PARAM_VALUE 4 purge_list->next 8878986847405993984
PARAM_VALUE 4 purge_list->prev 8878986847405993984
BUF_SIZE 1 rt (-1),200,304
BUF_SIZE 1 rt (-1),200,304
CAPPED_DATA 1 rt->fib6_dst.plen 1
CAPPED_DATA 1 rt->fib6_src.plen 1
DATA_SOURCE 0 fn $0
DATA_SOURCE 1 rt $1
DATA_SOURCE 2 info $2
DATA_SOURCE 3 extack $3
DATA_SOURCE 4 purge_list $4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fn->fn_bit 0-128
USER_DATA 1 rt->fib6_dst.plen 0-128[c]
USER_DATA 1 rt->fib6_flags 0-u32max[c]
LOCK2 &table->tb6_lock
LOCK2 bh
LOCK2 1 &rt->nh->lock
TYPE_LOCK (struct fib6_table)->tb6_lock
TYPE_LOCK (struct nexthop)->lock