rt6_sync_up identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/net/ip6_route.h, line 225 (as a prototype)

Defined in 1 files as a function:

net/ipv6/route.c, line 4901 (as a function)

Referenced in 1 files:

net/ipv6/addrconf.c
- line 3763
- line 3782

Smatch caller information:

net/ipv6/addrconf.c addrconf_notify() -> rt6_sync_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->cnf.mtu6	1280-s32max
PARAM_VALUE	0	dev->ip6_ptr->desync_factor	u32max
PARAM_VALUE	0	dev->ip6_ptr->dev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->dev->nd_net.net	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->dev->nd_net.net->ipv6.devconf_all	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->dev_tracker	0,4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->if_flags	2147483648-u32max
PARAM_VALUE	0	dev->ip6_ptr->mc_gq_running	0
PARAM_VALUE	0	dev->ip6_ptr->mc_ifc_count	0
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->addr_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->flags	1-u32max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->mc.list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->refcnt_tracker.quarantine.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->refcnt_tracker.quarantine.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->refcnt_tracker.quarantine.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->work_node.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev_tracker->dead	0-1
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work.work.entry.next->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work.work.entry.prev->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->rcu.func	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->stats.proc_dir_entry	0,4806605944481423360
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.next->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.prev->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_maxdelay	1-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_qi	31250
PARAM_VALUE	0	dev->ip6_ptr->mc_qri	2500
PARAM_VALUE	0	dev->ip6_ptr->mc_qrv	2
PARAM_VALUE	0	dev->ip6_ptr->mc_query_queue.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_query_queue.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_query_queue.qlen	0
PARAM_VALUE	0	dev->ip6_ptr->mc_report_queue.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_report_queue.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_report_queue.qlen	0
PARAM_VALUE	0	dev->ip6_ptr->mc_v1_seen	0
PARAM_VALUE	0	dev->ip6_ptr->nd_parms	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->dev->netdev_ops	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->list.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->list.prev	272374513716818032,4470746977272516720
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->refcnt.refs.counter	1
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->tbl	4470746977272516608
PARAM_VALUE	0	dev->ip6_ptr->ra_mtu	0
PARAM_VALUE	0	dev->ip6_ptr->refcnt.refs.counter	1
PARAM_VALUE	0	dev->ip6_ptr->rs_timer.entry.pprev	0
PARAM_VALUE	0	dev->ip6_ptr->rs_timer.flags	0-4194302
PARAM_VALUE	0	dev->ip6_ptr->rs_timer.lockdep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->stats.icmpv6dev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->stats.icmpv6msgdev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->stats.ipv6	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->mtu	1280-s32max
PARAM_VALUE	0	dev->netdev_ops	4096-ptr_max
PARAM_VALUE	0	dev->num_tx_queues	1-u32max
PARAM_VALUE	0	dev->operstate	0,6
PARAM_VALUE	0	dev->refcnt_tracker.list.next	4096-ptr_max
PARAM_VALUE	0	dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->refcnt_tracker.list.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.dep_map->name	0-255
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	*dev->ip6_ptr->mc_list->idev->dev->name	0-255
PARAM_VALUE	0	*dev->name	0-255
PARAM_VALUE	1	nh_flags	16
CAPPED_DATA	0	dev	1
CAPPED_DATA	0	dev->ip6_ptr	1
CAPPED_DATA	0	dev->nd_net.net	1
CAPPED_DATA	0	dev->num_tx_queues	1
DATA_SOURCE	0	dev	r netdev_notifier_info_to_dev
BIT_INFO	0	dev->priv_flags	0x0,0xbfffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex

net/ipv6/addrconf.c addrconf_notify() -> rt6_sync_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->addr_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->cnf.mtu6	0-s32max
PARAM_VALUE	0	dev->ip6_ptr->desync_factor	u32max
PARAM_VALUE	0	dev->ip6_ptr->dev->nd_net.net	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->dev->nd_net.net->ipv6.devconf_all	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->dev->nd_net.net->mib.proc_net_devsnmp6->nlink	0-4294967295
PARAM_VALUE	0	dev->ip6_ptr->dev_tracker	0,4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->lock.magic	3736018669
PARAM_VALUE	0	dev->ip6_ptr->lock.owner	(-1)
PARAM_VALUE	0	dev->ip6_ptr->lock.owner_cpu	u32max
PARAM_VALUE	0	dev->ip6_ptr->mc_gq_running	0
PARAM_VALUE	0	dev->ip6_ptr->mc_ifc_count	0
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->addr_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->flags	1-u32max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->mc.list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->mc.list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->refcnt_tracker.quarantine.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->refcnt_tracker.quarantine.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->refcnt_tracker.quarantine.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->work_node.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->work_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev->work_node.prev	4074011205511094272
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev_tracker->dead	0-1
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->dev_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work.work.entry.next->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work.work.entry.prev->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->mc_ifc_work.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->idev->stats.proc_dir_entry	0,4806605944481423360
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.next->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.prev->next	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_list->mca_work.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_maxdelay	1-s32max
PARAM_VALUE	0	dev->ip6_ptr->mc_qi	31250
PARAM_VALUE	0	dev->ip6_ptr->mc_qri	2500
PARAM_VALUE	0	dev->ip6_ptr->mc_qrv	2
PARAM_VALUE	0	dev->ip6_ptr->mc_query_queue.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_query_queue.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_query_queue.qlen	0
PARAM_VALUE	0	dev->ip6_ptr->mc_report_queue.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_report_queue.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->mc_report_queue.qlen	0
PARAM_VALUE	0	dev->ip6_ptr->mc_tomb	0
PARAM_VALUE	0	dev->ip6_ptr->mc_v1_seen	0
PARAM_VALUE	0	dev->ip6_ptr->nd_parms	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->dev->netdev_ops	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->list.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->list.prev	272374513716818032,4470746977272516720
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->refcnt.refs.counter	1
PARAM_VALUE	0	dev->ip6_ptr->nd_parms->tbl	4470746977272516608
PARAM_VALUE	0	dev->ip6_ptr->ra_mtu	0
PARAM_VALUE	0	dev->ip6_ptr->refcnt.refs.counter	1
PARAM_VALUE	0	dev->ip6_ptr->rs_timer.entry.pprev	0
PARAM_VALUE	0	dev->ip6_ptr->rs_timer.flags	0-4194302
PARAM_VALUE	0	dev->ip6_ptr->rs_timer.lockdep_map->name	0-255
PARAM_VALUE	0	dev->ip6_ptr->stats.icmpv6dev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->stats.icmpv6msgdev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->stats.ipv6	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->stats.proc_dir_entry	0,4806605944481423360
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ip6_ptr->tempaddr_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->mtu	0-s32max
PARAM_VALUE	0	dev->netdev_ops	4096-ptr_max
PARAM_VALUE	0	dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->refcnt_tracker.list.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->type	0-825,65534
PARAM_VALUE	0	dev->udp_tunnel_nic->lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev->udp_tunnel_nic->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.dep_map->name	0-255
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->udp_tunnel_nic->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	*dev->ip6_ptr->mc_list->idev->dev->name	0-255
PARAM_VALUE	0	*dev->name	0-255
PARAM_VALUE	1	nh_flags	1
CAPPED_DATA	0	dev	1
CAPPED_DATA	0	dev->nd_net.net	1
DATA_SOURCE	0	dev	r netdev_notifier_info_to_dev
BIT_INFO	0	dev->priv_flags	0x0,0xbfffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&net->rtnl_mutex
HALF_LOCKED2		global &rtnl_mutex