Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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->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->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_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->ip6_ptr->mc_lock.first_waiter 0
PARAM_VALUE 0 dev->ip6_ptr->mc_lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->ip6_ptr->mc_lock.osq.tail.counter 0
PARAM_VALUE 0 dev->ip6_ptr->mc_lock.owner.counter 0
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->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->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->name 0-255
PARAM_VALUE 1 event 4
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->ip6_ptr 1
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev r netdev_notifier_info_to_dev
DATA_SOURCE 1 event $1
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/route.c rt6_disable_ip() -> rt6_sync_down_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 event 2,6
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 event $1
FUZZY_MAX 1 event 6
BIT_INFO 1 event 0x2,0x6
BIT_INFO 1 event 0x2,0x6
HARD_MAX 1 event 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex