ipv6_ifa_notify 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 176 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 1 files:

net/ipv6/addrconf.c

Smatch caller information:

net/ipv6/addrconf.c add_addr() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	20
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->addr_lst.pprev	4096-ptr_max
PARAM_VALUE	1	ifp->flags	0,2-u32max
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->cnf.disable_ipv6	0
PARAM_VALUE	1	ifp->idev->dead	0
PARAM_VALUE	1	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	1	ifp->if_list.next	4096-ptr_max
PARAM_VALUE	1	ifp->ifa_proto	0-1
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->prefered_lft	u32max
PARAM_VALUE	1	ifp->prefix_len	64,96,128
PARAM_VALUE	1	ifp->rt	4096-ptr_max
PARAM_VALUE	1	ifp->rt->dst_nocount	1
PARAM_VALUE	1	ifp->rt->fib6_dst.plen	128
PARAM_VALUE	1	ifp->rt->fib6_metric	0
PARAM_VALUE	1	ifp->rt->fib6_metrics	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_prefsrc.plen	128
PARAM_VALUE	1	ifp->rt->fib6_ref.refs.counter	1
PARAM_VALUE	1	ifp->rt->fib6_siblings.next	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_siblings.prev	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_src.plen	0
PARAM_VALUE	1	ifp->rt->fib6_table	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_type	1-11
PARAM_VALUE	1	ifp->rt->gc_link.next	0
PARAM_VALUE	1	ifp->rt->gc_link.pprev	0
PARAM_VALUE	1	ifp->rt->nh	4096-ptr_max
PARAM_VALUE	1	ifp->rt_priority	0
PARAM_VALUE	1	ifp->scope	16,32,48,128,144
PARAM_VALUE	1	ifp->tokenized	0
PARAM_VALUE	1	ifp->valid_lft	u32max
BUF_SIZE	1	ifp	464
BUF_SIZE	1	ifp->idev	(-1),2056
CAPPED_DATA	1	ifp	1
DATA_SOURCE	1	ifp	r ipv6_add_addr
BIT_INFO	1	ifp->flags	0x0,0xffffffbf
BIT_INFO	1	ifp->scope	0x0,0xb0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	event	20
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->dad_work.timer.entry->pprev	4096-ptr_max
PARAM_VALUE	1	ifp->flags	64-u32max
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev->refcnt_tracker.quarantine.prev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev->refcnt_tracker.quarantine.prev->next	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next	4096-ptr_max
PARAM_VALUE	1	ifp->idev->if_flags	2147483648-u32max
PARAM_VALUE	1	ifp->idev->lock.dep_map->name	0-255
PARAM_VALUE	1	ifp->idev->rcu.func	1-u64max
PARAM_VALUE	1	ifp->idev->rcu.next	0
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->rt	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_siblings.next	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_src.plen	0-u16max
PARAM_VALUE	1	ifp->rt->fib6_table	4096-ptr_max
PARAM_VALUE	1	ifp->rt->fib6_table->tb6_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->rt->nh->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->state	0-1,4
CAPPED_DATA	1	ifp->rt	1
CAPPED_DATA	1	ifp->rt->fib6_dst.plen	1
DATA_SOURCE	1	ifp	$0
BIT_INFO	1	ifp->flags	0x44,0xfffffffd
NOCHECK_CALL
LOCK2		&net->rtnl_mutex
LOCK2		global &rtnl_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct net)->rtnl_mutex

net/ipv6/addrconf.c addrconf_dad_completed() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	20
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->lock.dep_map->name	0-255
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->state	1-2
DATA_SOURCE	1	ifp	$0
BIT_INFO	1	ifp->flags	0x0,0xffffffb3
HARD_MAX	1	ifp->state	2
NOCHECK_CALL
LOCK2		&net->rtnl_mutex
LOCK2		global &rtnl_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct net)->rtnl_mutex

net/ipv6/addrconf.c addrconf_dad_stop() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	0
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->flags	64-u32max
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->state	2
DATA_SOURCE	1	ifp	$0
BIT_INFO	1	ifp->flags	0x40,0xfffffffa
NOCHECK_CALL
LOCK2		&net->rtnl_mutex
LOCK2		global &rtnl_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct net)->rtnl_mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	event	0
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->refcnt.refs.counter	(-1073741824),0-s32max
CAPPED_DATA	1	ifp	1
CAPPED_DATA	1	ifp->prefered_lft	1
DATA_SOURCE	1	ifp	r ipv6_get_ifaddr
BIT_INFO	1	ifp->flags	0x0,0xffffffdf
NOCHECK_CALL
USER_DATA	1	ifp->prefered_lft	0-u32max[c]
USER_DATA	1	ifp->valid_lft	0-u32max

net/ipv6/addrconf.c addrconf_verify_rtnl() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	0
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->flags	0,32-u32max
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->prefered_lft	0-4294967294
PARAM_VALUE	1	ifp->valid_lft	1-u32max
CAPPED_DATA	1	ifp->prefered_lft	1
BIT_INFO	1	ifp->flags	0x20,0xffffffffffffffff
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &rtnl_mutex
LOCK2		rcu_read
HALF_LOCKED2		&af_ops->srcu
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		&net->rtnl_mutex

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

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

net/ipv6/addrconf.c inet6_addr_modify() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	0
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->ifa_proto	0
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->prefered_lft	0
PARAM_VALUE	1	ifp->refcnt.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	1	ifp->valid_lft	1-u32max
DATA_SOURCE	1	ifp	$1
BIT_INFO	1	ifp->flags	0x0,0xffffffbf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	ifp->flags	0-u32max[c][u]
USER_DATA	1	ifp->prefered_lft	0[c]
USER_DATA	1	ifp->valid_lft	1-u32max
NO_OVERFLOW_SIMPLE	1	ifp->prefered_lft
LOCK2		&net->rtnl_mutex
LOCK2		global &rtnl_mutex
HALF_LOCKED2		&net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		global &audit_cmd_mutex.lock
HALF_LOCKED2		global &cb_lock
HALF_LOCKED2		global &crypto_cfg_mutex
HALF_LOCKED2		global &hwsim_phys_lock
HALF_LOCKED2		global &rx_queue_mutex
TYPE_LOCK		(struct net)->rtnl_mutex

net/ipv6/addrconf.c ipv6_del_addr() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	21
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->addr_lst->next->pprev	1-u64max
PARAM_VALUE	1	ifp->addr_lst.pprev	0
PARAM_VALUE	1	ifp->idev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev	4096-ptr_max
PARAM_VALUE	1	ifp->idev->dev->nd_net.net->ipv6.addrconf_hash_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->idev->lock.dep_map->name	0-255
PARAM_VALUE	1	ifp->idev->lock.owner	(-1)
PARAM_VALUE	1	ifp->idev->lock.owner_cpu	u32max
PARAM_VALUE	1	ifp->idev->lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	1	ifp->idev->lock.raw_lock.wlocked	0
PARAM_VALUE	1	ifp->if_list.next->prev	4096-ptr_max
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->state	4
CAPPED_DATA	1	ifp	1
CAPPED_DATA	1	ifp->idev->dev->nd_net.net	1
DATA_SOURCE	1	ifp	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex

net/ipv6/addrconf.c manage_tempaddrs() -> ipv6_ifa_notify()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	0
PARAM_VALUE	1	ifp	4096-ptr_max
PARAM_VALUE	1	ifp->ifpub	4096-ptr_max
PARAM_VALUE	1	ifp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	ifp->prefered_lft	0-s32max
PARAM_VALUE	1	ifp->valid_lft	0-s32max
CAPPED_DATA	1	ifp->ifpub	1
CAPPED_DATA	1	ifp->prefered_lft	1
CAPPED_DATA	1	ifp->valid_lft	1
CAPPED_DATA	1	&ifp->tmp_list	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	ifp->prefered_lft	0-s32max[c]
USER_DATA	1	ifp->valid_lft	0-s32max[c]
NO_OVERFLOW_SIMPLE	1	ifp->prefered_lft
LOCK2		&idev->lock
LOCK2		bh
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex
TYPE_LOCK		(struct inet6_dev)->lock