Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv6/addrconf.c addrconf_join_solict() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 addr 763100330867298304
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c dev_forward_change() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 0 dev->netdev_ops 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 addr 4156509514105393152
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/addrconf.c dev_forward_change() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 0 dev->ip6_ptr 0,4096-ptr_max
PARAM_VALUE 0 dev->ip6_ptr->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 dev->netdev_ops 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 addr 6675404653372985344
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/addrconf.c dev_forward_change() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 0 dev->ip6_ptr 0,4096-ptr_max
PARAM_VALUE 0 dev->ip6_ptr->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 dev->netdev_ops 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 addr 723064523762663424
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/addrconf.c ipv6_add_dev() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ip6_ptr 4096-ptr_max
PARAM_VALUE 0 dev->mtu 1280-u32max
PARAM_VALUE 0 dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->ipv6.devconf_all 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->mib.proc_net_devsnmp6 1-u64max
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 1 addr 1651219317643698176
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c ipv6_add_dev() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ip6_ptr 4096-ptr_max
PARAM_VALUE 0 dev->mtu 1280-u32max
PARAM_VALUE 0 dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->ipv6.devconf_all 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->mib.proc_net_devsnmp6 1-u64max
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 1 addr 4580484477245407232
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c ipv6_add_dev() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 0 dev->ip6_ptr 4096-ptr_max
PARAM_VALUE 0 dev->mtu 1280-u32max
PARAM_VALUE 0 dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->ipv6.devconf_all 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->mib.proc_net_devsnmp6 1-u64max
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->name 0-255
PARAM_VALUE 1 addr 4156509514105393152
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_multicast.c br_ip6_multicast_join_snoopers() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr 0,4096-ptr_max
PARAM_VALUE 1 addr 7915789140402888704
CAPPED_DATA 0 dev->ip_ptr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/ndisc.c pndisc_constructor() -> ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 addr 1379810044914405376
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &tbl->phash_lock
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct neigh_table)->phash_lock