Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/anycast.c __ipv6_dev_ac_dec() -> inet6_ifacaddr_notify()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ifaca 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_addr_lst->next->pprev 1-u64max
PARAM_VALUE 1 ifaca->aca_addr_lst.next->pprev 1-u64max
PARAM_VALUE 1 ifaca->aca_addr_lst.pprev 0
PARAM_VALUE 1 ifaca->aca_rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 ifaca->aca_rt->fib6_table->tb6_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ifaca->aca_rt->rcu.func 1-u64max
PARAM_VALUE 1 ifaca->aca_rt->rcu.next 0
PARAM_VALUE 1 ifaca->aca_users s32min-0
PARAM_VALUE 2 event 61
CAPPED_DATA 0 dev->nd_net.net 1
CAPPED_DATA 1 ifaca->aca_rt 1
FUZZY_MAX 1 ifaca->aca_users 0
HARD_MAX 1 ifaca->aca_users 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ifaca 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_addr_lst.pprev 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_rt 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_rt->dst_nocount 1
PARAM_VALUE 1 ifaca->aca_rt->fib6_dst.plen 128
PARAM_VALUE 1 ifaca->aca_rt->fib6_metric 0
PARAM_VALUE 1 ifaca->aca_rt->fib6_metrics 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_rt->fib6_prefsrc.plen 128
PARAM_VALUE 1 ifaca->aca_rt->fib6_siblings.next 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_rt->fib6_siblings.prev 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_rt->fib6_src.plen 0
PARAM_VALUE 1 ifaca->aca_rt->fib6_table 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_rt->fib6_type 1-11
PARAM_VALUE 1 ifaca->aca_rt->gc_link.next 0
PARAM_VALUE 1 ifaca->aca_rt->gc_link.pprev 0
PARAM_VALUE 1 ifaca->aca_rt->nh 4096-ptr_max
PARAM_VALUE 1 ifaca->aca_users 1
PARAM_VALUE 2 event 60
BUF_SIZE 1 ifaca 88
BUF_SIZE 1 ifaca->aca_rt 200,304
CAPPED_DATA 0 dev->nd_net.net 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte