addrconf_dad_start identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

net/ipv6/addrconf.c, line 169 (as a prototype)

Defined in 1 files as a function:

net/ipv6/addrconf.c, line 4196 (as a function)

Referenced in 1 files:

net/ipv6/addrconf.c

Smatch caller information:

net/ipv6/addrconf.c addrconf_add_linklocal() -> addrconf_dad_start()

Type	Parameter	Key	Value
PARAM_VALUE	0	ifp	4096-ptr_max
PARAM_VALUE	0	ifp->addr_lst.pprev	4096-ptr_max
PARAM_VALUE	0	ifp->flags	0,2-u32max
PARAM_VALUE	0	ifp->idev	4096-ptr_max
PARAM_VALUE	0	ifp->idev->cnf.disable_ipv6	0
PARAM_VALUE	0	ifp->idev->dead	0
PARAM_VALUE	0	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	0	ifp->if_list.next	4096-ptr_max
PARAM_VALUE	0	ifp->ifa_proto	3
PARAM_VALUE	0	ifp->prefered_lft	u32max
PARAM_VALUE	0	ifp->prefix_len	64
PARAM_VALUE	0	ifp->rt	4096-ptr_max
PARAM_VALUE	0	ifp->rt->dst_nocount	1
PARAM_VALUE	0	ifp->rt->fib6_dst.plen	128
PARAM_VALUE	0	ifp->rt->fib6_metric	0
PARAM_VALUE	0	ifp->rt->fib6_metrics	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_prefsrc.plen	128
PARAM_VALUE	0	ifp->rt->fib6_ref.refs.counter	1
PARAM_VALUE	0	ifp->rt->fib6_siblings.next	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_siblings.prev	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_src.plen	0
PARAM_VALUE	0	ifp->rt->fib6_table	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_type	1-11
PARAM_VALUE	0	ifp->rt->gc_link.next	0
PARAM_VALUE	0	ifp->rt->gc_link.pprev	0
PARAM_VALUE	0	ifp->rt->nh	4096-ptr_max
PARAM_VALUE	0	ifp->rt_priority	0
PARAM_VALUE	0	ifp->scope	32
PARAM_VALUE	0	ifp->tokenized	0
PARAM_VALUE	0	ifp->valid_lft	u32max
BUF_SIZE	0	ifp	464
BUF_SIZE	0	ifp->idev	(-1),2056
CAPPED_DATA	0	ifp	1
DATA_SOURCE	0	ifp	r ipv6_add_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv6/addrconf.c addrconf_prefix_rcv_add_addr() -> addrconf_dad_start()

Type	Parameter	Key	Value
PARAM_VALUE	0	ifp	4096-ptr_max
PARAM_VALUE	0	ifp->addr_lst.pprev	4096-ptr_max
PARAM_VALUE	0	ifp->flags	0,256-u32max
PARAM_VALUE	0	ifp->idev	4096-ptr_max
PARAM_VALUE	0	ifp->idev->cnf.disable_ipv6	0
PARAM_VALUE	0	ifp->idev->dead	0
PARAM_VALUE	0	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	0	ifp->if_list.next	4096-ptr_max
PARAM_VALUE	0	ifp->ifa_proto	2
PARAM_VALUE	0	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ifp->prefix_len	64
PARAM_VALUE	0	ifp->rt	4096-ptr_max
PARAM_VALUE	0	ifp->rt->dst_nocount	1
PARAM_VALUE	0	ifp->rt->fib6_dst.plen	128
PARAM_VALUE	0	ifp->rt->fib6_metric	0
PARAM_VALUE	0	ifp->rt->fib6_metrics	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_prefsrc.plen	128
PARAM_VALUE	0	ifp->rt->fib6_ref.refs.counter	1
PARAM_VALUE	0	ifp->rt->fib6_siblings.next	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_siblings.prev	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_src.plen	0
PARAM_VALUE	0	ifp->rt->fib6_table	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_type	1-11
PARAM_VALUE	0	ifp->rt->gc_link.next	0
PARAM_VALUE	0	ifp->rt->gc_link.pprev	0
PARAM_VALUE	0	ifp->rt->nh	4096-ptr_max
PARAM_VALUE	0	ifp->rt_priority	0
PARAM_VALUE	0	ifp->scope	0
PARAM_VALUE	0	ifp->valid_lft	1-u32max
BUF_SIZE	0	ifp	464
CAPPED_DATA	0	ifp	1
CAPPED_DATA	0	ifp->prefered_lft	1
DATA_SOURCE	0	ifp	r ipv6_add_addr
BIT_INFO	0	ifp->flags	0x100,0xffffffff
NOCHECK_CALL
USER_DATA	0	ifp->addr	s64min-s64max
USER_DATA	0	ifp->flags	258-502[c]
USER_DATA	0	ifp->prefered_lft	0-u32max[c]
USER_DATA	0	ifp->prefix_len	64
USER_DATA	0	ifp->rt->fib6_dst.plen	128
USER_DATA	0	ifp->rt->fib6_flags	0-u32max[c]
USER_DATA	0	ifp->valid_lft	1-u32max

net/ipv6/addrconf.c fixup_permanent_addr() -> addrconf_dad_start()

Type	Parameter	Key	Value
PARAM_VALUE	0	ifp	4096-ptr_max
PARAM_VALUE	0	ifp->flags	512-u32max
PARAM_VALUE	0	ifp->rt	4096-ptr_max
PARAM_VALUE	0	ifp->state	0
BUF_SIZE	0	ifp->rt	(-1),200,304
DATA_SOURCE	0	ifp	$2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex

net/ipv6/addrconf.c inet6_addr_add() -> addrconf_dad_start()

Type	Parameter	Key	Value
PARAM_VALUE	0	ifp	4096-ptr_max
PARAM_VALUE	0	ifp->addr_lst.pprev	4096-ptr_max
PARAM_VALUE	0	ifp->flags	0,2-u32max
PARAM_VALUE	0	ifp->idev	4096-ptr_max
PARAM_VALUE	0	ifp->idev->cnf.disable_ipv6	0
PARAM_VALUE	0	ifp->idev->dead	0
PARAM_VALUE	0	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	0	ifp->if_list.next	4096-ptr_max
PARAM_VALUE	0	ifp->prefix_len	0-128
PARAM_VALUE	0	ifp->rt->dst_nocount	1
PARAM_VALUE	0	ifp->rt->fib6_dst.plen	128
PARAM_VALUE	0	ifp->rt->fib6_metric	0
PARAM_VALUE	0	ifp->rt->fib6_metrics	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_prefsrc.plen	128
PARAM_VALUE	0	ifp->rt->fib6_ref.refs.counter	1
PARAM_VALUE	0	ifp->rt->fib6_siblings.next	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_siblings.prev	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_src.plen	0
PARAM_VALUE	0	ifp->rt->fib6_table	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_type	1-11
PARAM_VALUE	0	ifp->rt->gc_link.next	0
PARAM_VALUE	0	ifp->rt->gc_link.pprev	0
PARAM_VALUE	0	ifp->rt->nh	4096-ptr_max
PARAM_VALUE	0	ifp->scope	0,16-240
PARAM_VALUE	0	ifp->tokenized	0
PARAM_VALUE	0	ifp->valid_lft	1-u32max
BUF_SIZE	0	ifp	464
BUF_SIZE	0	ifp->idev	(-1),2056
CAPPED_DATA	0	ifp	1
DATA_SOURCE	0	ifp	r ipv6_add_addr
NOSPEC	0	ifp->rt->fib6_dst.plen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ifp->addr	s64min-s64max
USER_DATA	0	ifp->flags	2-246[c]
USER_DATA	0	ifp->prefered_lft	0-u32max[c]
USER_DATA	0	ifp->prefix_len	0-128
USER_DATA	0	ifp->rt->fib6_dst.plen	128
USER_DATA	0	ifp->rt->fib6_flags	0-u32max[c]
USER_DATA	0	ifp->valid_lft	1-u32max
NO_OVERFLOW_SIMPLE	0	ifp->prefered_lft
LOCK2		&net->rtnl_mutex
LOCK2		global &rtnl_mutex
TYPE_LOCK		(struct net)->rtnl_mutex

net/ipv6/addrconf.c ipv6_create_tempaddr() -> addrconf_dad_start()

Type	Parameter	Key	Value
PARAM_VALUE	0	ifp	4096-ptr_max
PARAM_VALUE	0	ifp->addr_lst.pprev	4096-ptr_max
PARAM_VALUE	0	ifp->flags	0,2-u32max
PARAM_VALUE	0	ifp->idev	4096-ptr_max
PARAM_VALUE	0	ifp->idev->cnf.disable_ipv6	0
PARAM_VALUE	0	ifp->idev->dead	0
PARAM_VALUE	0	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	0	ifp->if_list.next	4096-ptr_max
PARAM_VALUE	0	ifp->ifa_proto	0
PARAM_VALUE	0	ifp->ifpub	4096-ptr_max
PARAM_VALUE	0	ifp->ifpub->idev	4096-ptr_max
PARAM_VALUE	0	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ifp->rt	4096-ptr_max
PARAM_VALUE	0	ifp->rt->dst_nocount	1
PARAM_VALUE	0	ifp->rt->fib6_dst.plen	128
PARAM_VALUE	0	ifp->rt->fib6_metric	0
PARAM_VALUE	0	ifp->rt->fib6_metrics	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_prefsrc.plen	128
PARAM_VALUE	0	ifp->rt->fib6_ref.refs.counter	1
PARAM_VALUE	0	ifp->rt->fib6_siblings.next	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_siblings.prev	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_src.plen	0
PARAM_VALUE	0	ifp->rt->fib6_table	4096-ptr_max
PARAM_VALUE	0	ifp->rt->fib6_type	1-11
PARAM_VALUE	0	ifp->rt->gc_link.next	0
PARAM_VALUE	0	ifp->rt->gc_link.pprev	0
PARAM_VALUE	0	ifp->rt->nh	4096-ptr_max
PARAM_VALUE	0	ifp->rt_priority	0
PARAM_VALUE	0	ifp->scope	0,16-240
PARAM_VALUE	0	ifp->tokenized	0
BUF_SIZE	0	ifp	464
BUF_SIZE	0	ifp->idev	(-1),2056
BUF_SIZE	0	ifp->ifpub	(-1),464
CAPPED_DATA	0	ifp	1
CAPPED_DATA	0	ifp->prefered_lft	1
CAPPED_DATA	0	ifp->valid_lft	1
DATA_SOURCE	0	ifp	r ipv6_add_addr
NOSPEC	0	ifp->ifpub->prefered_lft
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ifp->addr	s64min-s64max
USER_DATA	0	ifp->flags	2-246[c]
USER_DATA	0	ifp->ifpub->flags	2-246,256-u32max[c]
USER_DATA	0	ifp->ifpub->prefered_lft	0-u32max[c]
USER_DATA	0	ifp->ifpub->prefix_len	0-128
USER_DATA	0	ifp->ifpub->valid_lft	0-u32max
USER_DATA	0	ifp->prefered_lft	0-u32max[c]
USER_DATA	0	ifp->prefix_len	0-128
USER_DATA	0	ifp->rt->fib6_dst.plen	128
USER_DATA	0	ifp->rt->fib6_flags	0-u32max[c]
USER_DATA	0	ifp->valid_lft	0-u32max[c]
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex