Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/addrconf.c addrconf_prefix_rcv() -> ndisc_ops_prefix_rcv_add_addr()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv6.addr_chk_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->ip6_ptr 4096-ptr_max
PARAM_VALUE 1 dev->ip6_ptr->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 dev->nd_net.net->ipv6.addr_chk_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 2 pinfo 4096-ptr_max
PARAM_VALUE 2 pinfo->autoconf 1
PARAM_VALUE 2 pinfo->prefix_len 64
PARAM_VALUE 3 in6_dev 4096-ptr_max
PARAM_VALUE 3 in6_dev->cnf.autoconf s32min-(-1),1-s32max
PARAM_VALUE 3 in6_dev->dev 4096-ptr_max
PARAM_VALUE 3 in6_dev->dev->nd_net.net->ipv6.addrconf_hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 in6_dev->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 3 in6_dev->tempaddr_list.next 4096-ptr_max
PARAM_VALUE 3 in6_dev->tempaddr_list.next->next 4096-ptr_max
PARAM_VALUE 3 *in6_dev->dev->name 0-255
PARAM_VALUE 4 addr 8678755121801969664
PARAM_VALUE 5 addr_type 0,2
PARAM_VALUE 6 addr_flags 0,2048
CAPPED_DATA 1 dev 1
CAPPED_DATA 1 dev->nd_net.net 1
CAPPED_DATA 3 in6_dev->dev 1
CAPPED_DATA 10 prefered_lft 1
DATA_SOURCE 1 dev $0
DATA_SOURCE 2 pinfo $1
DATA_SOURCE 3 in6_dev r in6_dev_get
DATA_SOURCE 5 addr_type r ipv6_addr_type
DATA_SOURCE 7 sllao $3
FUZZY_MAX 6 addr_flags 0
PARAM_COMPARE 9 valid_lft >= $10
PARAM_COMPARE 10 prefered_lft <= $9
BIT_INFO 5 addr_type 0x0,0x1
BIT_INFO 6 addr_flags 0x0,0x800
NOCHECK_CALL
USER_DATA 9 valid_lft 0-u32max
USER_DATA 10 prefered_lft 0-u32max[c]
UNITS 0 net unit_byte