Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 f6i 4096-ptr_max
PARAM_VALUE 0 f6i->dst_nocount 1
PARAM_VALUE 0 f6i->fib6_dst.addr->in6_u.u6_addr8 0-255
PARAM_VALUE 0 f6i->fib6_dst.plen 128
PARAM_VALUE 0 f6i->fib6_metric 0
PARAM_VALUE 0 f6i->fib6_metrics 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_dev s64min-(-4096),0,4096-s64max
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_dev_tracker->dead 0-1
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_family 0-255
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_flags 0-255
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_oif s32min-s32max
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_rth_input->dst.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_rth_input->dst.dev_tracker->dead 0-1
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_rth_input->dst.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 f6i->fib6_nh->nh_common.nhc_weight s32min-s32max
PARAM_VALUE 0 f6i->fib6_prefsrc.plen 128
PARAM_VALUE 0 f6i->fib6_ref.refs.counter 1
PARAM_VALUE 0 f6i->fib6_siblings.next 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_siblings.next->next 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_siblings.prev 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_siblings.prev->next 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_siblings.prev->prev 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_src.addr->in6_u.u6_addr8 0-255
PARAM_VALUE 0 f6i->fib6_src.plen 0
PARAM_VALUE 0 f6i->fib6_table 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_table->tb6_id 1-u32max
PARAM_VALUE 0 f6i->fib6_type 1-11
PARAM_VALUE 0 f6i->gc_link.next 0
PARAM_VALUE 0 f6i->gc_link.pprev 0
PARAM_VALUE 0 f6i->nh 4096-ptr_max
PARAM_VALUE 0 f6i->nh->is_group 0
PARAM_VALUE 0 f6i->nh->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 addr 6744988681408958464,9000209434527514624
BUF_SIZE 0 f6i 200,304
BUF_SIZE 0 f6i 200,304
CAPPED_DATA 0 f6i->fib6_metrics 1
CAPPED_DATA 0 f6i->fib6_table->tb6_id 1
DATA_SOURCE 0 f6i r addrconf_f6i_alloc
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &idev->lock
LOCK2 bh
TYPE_LOCK (struct inet6_dev)->lock