Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv6/addrconf.c __ipv6_ifa_notify() -> ip6_ins_rt()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 1 rt->fib6_node 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 rt->fib6_dst.plen 128
USER_DATA 1 rt->fib6_flags 0-u32max[c]
UNITS 0 net unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c addrconf_dad_begin() -> ip6_ins_rt()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 &idev->lock
LOCK2 &ifp->lock
LOCK2 &net->rtnl_mutex
LOCK2 bh
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inet6_dev)->lock
TYPE_LOCK (struct inet6_ifaddr)->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/anycast.c __ipv6_dev_ac_inc() -> ip6_ins_rt()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 1 rt->dst_nocount 1
PARAM_VALUE 1 rt->fib6_dst.addr->in6_u.u6_addr8 0-255
PARAM_VALUE 1 rt->fib6_dst.plen 128
PARAM_VALUE 1 rt->fib6_metric 0
PARAM_VALUE 1 rt->fib6_metrics 4096-ptr_max
PARAM_VALUE 1 rt->fib6_nh->nh_common.nhc_dev s64min-(-4096),0,4096-s64max
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_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_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_nh->nh_common.nhc_weight s32min-s32max
PARAM_VALUE 1 rt->fib6_prefsrc.plen 128
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 0
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 1 rt->nh 4096-ptr_max
PARAM_VALUE 1 rt->nh->is_group 0
PARAM_VALUE 1 rt->nh->refcnt.refs.counter (-1073741824),0-s32max
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 addrconf_f6i_alloc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte